CHANGELOG.md
LICENSE
MANIFEST.in
README.md
SECURITY.md
pyproject.toml
demos/README.md
docs/architecture.md
docs/artifact-schemas.md
docs/benchmark-reproducibility.md
docs/bounded-dataflow-v1.md
docs/bounded-region-closure-v6.md
docs/compositional-semantic-closure-v1.md
docs/cpp-kernel-extraction.md
docs/cross-language-rc12-evaluation.md
docs/grammar-authoring.md
docs/learned-search-prior-v0.md
docs/neuralfusion-bounded-dataflow-v1-acceptance.md
docs/neuralfusion-cpp-v3-acceptance.md
docs/neuralfusion-cpp-v4-acceptance.md
docs/neuralfusion-dry-run.md
docs/neuralfusion-rc6-adapter-validation.md
docs/privacy.md
docs/proof-boundaries.md
docs/release-verification.md
docs/releasing.md
docs/security-ci.md
docs/case-studies/neuralfusion.md
examples/affine.c
examples/clamp.c
examples/halve.c
examples/automatic_regions/README.md
examples/automatic_regions/adapter_control_flow.c
examples/automatic_regions/adapter_external_call.c
examples/automatic_regions/adapter_multi_loop.c
examples/automatic_regions/adapter_scalar_result.c
examples/automatic_regions/adapter_wrong_abi.c
examples/automatic_regions/supported_guarded.c
examples/automatic_regions/supported_indirect.c
examples/automatic_regions/supported_pointwise.c
examples/automatic_regions/supported_recurrence.c
examples/automatic_regions/supported_scan.c
examples/automatic_regions/supported_stencil.c
examples/corpus/01_affine_scale_bias.c
examples/corpus/02_affine_add.c
examples/corpus/03_divide_by_two.c
examples/corpus/04_divide_by_four.c
examples/corpus/05_clamp_unit.c
examples/corpus/06_clamp_positive.c
examples/corpus/07_abs_branch.c
examples/corpus/08_relu.c
examples/corpus/09_leaky_relu.c
examples/corpus/10_threshold.c
examples/corpus/11_square.c
examples/corpus/12_cubic.c
examples/corpus/13_poly3.c
examples/corpus/14_reciprocal_shift.c
examples/corpus/15_stencil3.c
examples/corpus/16_moving_average5.c
examples/corpus/17_prefix_sum.c
examples/corpus/18_running_max.c
examples/corpus/19_sign.c
examples/corpus/20_softsign.c
examples/corpus/21_blend_constants.c
examples/corpus/22_deadzone.c
examples/corpus/23_gain_gate.c
examples/corpus/24_iir_like.c
examples/corpus/25_stride_mix.c
examples/cpp_regions/README.md
examples/cpp_regions/accepted_byte_parser.cpp
examples/cpp_regions/accepted_inferred_nounwind.cpp
examples/cpp_regions/accepted_large_result.cpp
examples/cpp_regions/accepted_local_helper_loop.cpp
examples/cpp_regions/accepted_no_growth_vector.cpp
examples/cpp_regions/accepted_owning_subregion.cpp
examples/cpp_regions/accepted_state_transition.cpp
examples/cpp_regions/accepted_status_result.cpp
examples/cpp_regions/accepted_struct_view.cpp
examples/cpp_regions/adapter_atomic.cpp
examples/cpp_regions/adapter_callback_loop.cpp
examples/cpp_regions/adapter_escaping_loop.cpp
examples/cpp_regions/adapter_exception.cpp
examples/cpp_regions/adapter_external.cpp
examples/cpp_regions/adapter_late_capacity_guard.cpp
examples/cpp_regions/adapter_nontrivial_no_growth.cpp
examples/cpp_regions/adapter_overload.cpp
examples/cpp_regions/adapter_ownership.cpp
examples/cpp_regions/adapter_protocol.cpp
examples/cpp_regions/supported_method.cpp
examples/cpp_regions/supported_pointer.cpp
examples/cpp_regions/supported_span.cpp
examples/cpp_regions/supported_template.cpp
examples/cpp_regions/supported_vector.cpp
examples/dataflow/compaction-contract.json
examples/dataflow/neuralfusion-sample-audit.yaml
examples/deep_grammar/c_byte_kernels.c
examples/deep_grammar/expert-audit.yaml
examples/deep_grammar/rust_byte_kernels.rs
examples/gpu/ranking.yaml
examples/gpu/workflow.yaml
examples/gpu/architectures/portable-test.yaml
examples/gpu/artifacts/baseline.json
examples/gpu/artifacts/candidate.json
examples/gpu/counters/baseline.yaml
examples/gpu/counters/candidate.yaml
examples/gpu/protocols/dma-invalid.yaml
examples/gpu/protocols/dma-valid.yaml
examples/gpu/protocols/presentation-invalid.yaml
examples/gpu/protocols/presentation-valid.yaml
examples/gpu/protocols/queue-invalid.yaml
examples/gpu/protocols/queue-valid.yaml
examples/julia_regions/audit.yaml
examples/julia_regions/byte_count/Project.toml
examples/julia_regions/byte_count/src/VLadderJuliaFixture.jl
examples/lifetime/lifetime_corpus.yaml
examples/lifetime/lifetime_trace.json
examples/operators/decode_book_update.c
examples/operators/llama_add_rms_mul_bench.cpp
examples/operators/residual_rmsnorm_quant.c
examples/operators/spsc_cbmc.c
examples/operators/spsc_ring.cpp
examples/operators/token_operator_suite.c
examples/operators/contracts/decode_attention_online.yaml
examples/operators/contracts/decode_book_update.yaml
examples/operators/contracts/logit_penalty_greedy.yaml
examples/operators/contracts/quantized_gemv_epilogue.yaml
examples/operators/contracts/residual_rmsnorm_quant.yaml
examples/operators/contracts/rope_qk.yaml
examples/pipelines/invalid_alias_v4.yaml
examples/pipelines/invalid_external_observer_v4.yaml
examples/pipelines/invalid_shape_v4.yaml
examples/pipelines/qwen3_block_v4.yaml
examples/prior/training-template.yaml
examples/projections/invalid_quantization_v5.yaml
examples/projections/invalid_shape_v5.yaml
examples/projections/invalid_tile_v5.yaml
examples/projections/qwen3_ffn_gate_up_v5.yaml
examples/projections/qwen3_qkv_v5.yaml
examples/protocols/transactional_publication.yaml
examples/protocols/versioned_cache.yaml
examples/release_seeds/transformations.yaml
examples/rust_regions/audit.yaml
examples/rust_regions/byte_count/Cargo.toml
examples/rust_regions/byte_count/src/lib.rs
examples/shaders/scale.comp
examples/sksf/attribution/qwen3_q4km_projection_profile_v6.json
examples/sksf/attribution/qwen3_q4km_projection_v6.json
examples/workflows/README.md
examples/workloads/qwen3_portfolio_v5.yaml
examples/workloads/qwen3_weight_reuse_v9.yaml
examples/zig_regions/audit.yaml
examples/zig_regions/byte_count/src/root.zig
openspec/config.yaml
openspec/project.md
openspec/changes/agentic-workflow-rc6/.openspec.yaml
openspec/changes/agentic-workflow-rc6/README.md
openspec/changes/agentic-workflow-rc6/design.md
openspec/changes/agentic-workflow-rc6/proposal.md
openspec/changes/agentic-workflow-rc6/tasks.md
openspec/changes/agentic-workflow-rc6/specs/agentic-orchestration/spec.md
openspec/changes/agentic-workflow-rc6/specs/cpp-application-closure/spec.md
openspec/changes/agentic-workflow-rc6/specs/lifetime-attribution-quality/spec.md
openspec/changes/agentic-workflow-rc6/specs/physical-evidence/spec.md
openspec/changes/agentic-workflow-rc6/specs/portable-shader-evidence/spec.md
openspec/changes/automatic-bounded-regions/design.md
openspec/changes/automatic-bounded-regions/proposal.md
openspec/changes/automatic-bounded-regions/tasks.md
openspec/changes/automatic-bounded-regions/specs/automatic-regions/spec.md
openspec/changes/bounded-cpp-closure-v4/design.md
openspec/changes/bounded-cpp-closure-v4/proposal.md
openspec/changes/bounded-cpp-closure-v4/tasks.md
openspec/changes/bounded-cpp-closure-v4/specs/cpp-bounded-closure/spec.md
openspec/changes/bounded-region-closure-v6/.openspec.yaml
openspec/changes/bounded-region-closure-v6/design.md
openspec/changes/bounded-region-closure-v6/proposal.md
openspec/changes/bounded-region-closure-v6/tasks.md
openspec/changes/bounded-region-closure-v6/specs/region-closure/spec.md
openspec/changes/bounded-variable-output-dataflow-v1/.openspec.yaml
openspec/changes/bounded-variable-output-dataflow-v1/design.md
openspec/changes/bounded-variable-output-dataflow-v1/proposal.md
openspec/changes/bounded-variable-output-dataflow-v1/tasks.md
openspec/changes/bounded-variable-output-dataflow-v1/specs/bounded-dataflow/spec.md
openspec/changes/canonical-multilanguage-extraction-v1/design.md
openspec/changes/canonical-multilanguage-extraction-v1/proposal.md
openspec/changes/canonical-multilanguage-extraction-v1/tasks.md
openspec/changes/canonical-multilanguage-extraction-v1/specs/canonical-multilanguage-extraction/spec.md
openspec/changes/complete-vladder-lowering-engine/design.md
openspec/changes/complete-vladder-lowering-engine/proposal.md
openspec/changes/complete-vladder-lowering-engine/tasks.md
openspec/changes/complete-vladder-lowering-engine/specs/lowering-engine/spec.md
openspec/changes/compositional-semantic-closure-v1/design.md
openspec/changes/compositional-semantic-closure-v1/proposal.md
openspec/changes/compositional-semantic-closure-v1/tasks.md
openspec/changes/compositional-semantic-closure-v1/specs/compositional-semantic-closure/spec.md
openspec/changes/comprehensive-release-readiness-v2/design.md
openspec/changes/comprehensive-release-readiness-v2/proposal.md
openspec/changes/comprehensive-release-readiness-v2/tasks.md
openspec/changes/comprehensive-release-readiness-v2/specs/release-readiness/spec.md
openspec/changes/cross-language-semantic-capture-v2/.openspec.yaml
openspec/changes/cross-language-semantic-capture-v2/design.md
openspec/changes/cross-language-semantic-capture-v2/proposal.md
openspec/changes/cross-language-semantic-capture-v2/tasks.md
openspec/changes/cross-language-semantic-capture-v2/specs/cross-language-capture/spec.md
openspec/changes/deep-shared-grammar-v2/design.md
openspec/changes/deep-shared-grammar-v2/proposal.md
openspec/changes/deep-shared-grammar-v2/tasks.md
openspec/changes/deep-shared-grammar-v2/specs/deep-native-proof/spec.md
openspec/changes/deep-shared-grammar-v2/specs/deep-semantic-grammar/spec.md
openspec/changes/deep-shared-grammar-v2/specs/expert-grammar-audit/spec.md
openspec/changes/direct-cpp-kernel-extraction/design.md
openspec/changes/direct-cpp-kernel-extraction/proposal.md
openspec/changes/direct-cpp-kernel-extraction/tasks.md
openspec/changes/direct-cpp-kernel-extraction/specs/cpp-kernel-frontend/spec.md
openspec/changes/effect-aware-cpp-regions-v3/design.md
openspec/changes/effect-aware-cpp-regions-v3/proposal.md
openspec/changes/effect-aware-cpp-regions-v3/tasks.md
openspec/changes/effect-aware-cpp-regions-v3/specs/cpp-semantic-frontend/spec.md
openspec/changes/heterogeneous-execution-v1/.openspec.yaml
openspec/changes/heterogeneous-execution-v1/design.md
openspec/changes/heterogeneous-execution-v1/proposal.md
openspec/changes/heterogeneous-execution-v1/tasks.md
openspec/changes/heterogeneous-execution-v1/specs/device-protocol-graphs/spec.md
openspec/changes/heterogeneous-execution-v1/specs/gpu-architecture-cost/spec.md
openspec/changes/heterogeneous-execution-v1/specs/gpu-physical-ranking/spec.md
openspec/changes/heterogeneous-execution-v1/specs/gpu-semantic-graph/spec.md
openspec/changes/heterogeneous-execution-v1/specs/heterogeneous-workflow/spec.md
openspec/changes/information-flow-superoptimization/design.md
openspec/changes/information-flow-superoptimization/proposal.md
openspec/changes/information-flow-superoptimization/tasks.md
openspec/changes/information-flow-superoptimization/specs/c-lifting/spec.md
openspec/changes/information-flow-superoptimization/specs/canonicalization/spec.md
openspec/changes/information-flow-superoptimization/specs/evaluation/spec.md
openspec/changes/information-flow-superoptimization/specs/flow-shape-classification/spec.md
openspec/changes/information-flow-superoptimization/specs/grammar-search/spec.md
openspec/changes/information-flow-superoptimization/specs/information-flow-graph/spec.md
openspec/changes/information-flow-superoptimization/specs/lower-to-ir/spec.md
openspec/changes/information-flow-superoptimization/specs/semantic-slice/spec.md
openspec/changes/information-flow-superoptimization/specs/verification/spec.md
openspec/changes/learned-search-prior-v0/.openspec.yaml
openspec/changes/learned-search-prior-v0/design.md
openspec/changes/learned-search-prior-v0/proposal.md
openspec/changes/learned-search-prior-v0/tasks.md
openspec/changes/learned-search-prior-v0/specs/prior-dataset/spec.md
openspec/changes/learned-search-prior-v0/specs/prior-evaluation/spec.md
openspec/changes/learned-search-prior-v0/specs/prior-model/spec.md
openspec/changes/learned-search-prior-v0/specs/prior-search/spec.md
openspec/changes/lifetime-aware-realization-v1/design.md
openspec/changes/lifetime-aware-realization-v1/proposal.md
openspec/changes/lifetime-aware-realization-v1/tasks.md
openspec/changes/lifetime-aware-realization-v1/specs/lifetime-flow/spec.md
openspec/changes/operator-e2e-v3/design.md
openspec/changes/operator-e2e-v3/proposal.md
openspec/changes/operator-e2e-v3/tasks.md
openspec/changes/operator-e2e-v3/specs/operator-cli/spec.md
openspec/changes/operator-grammar-v3/design.md
openspec/changes/operator-grammar-v3/proposal.md
openspec/changes/operator-grammar-v3/tasks.md
openspec/changes/operator-grammar-v3/specs/operator-grammar/spec.md
openspec/changes/operator-grammar-v3/specs/operator-search/spec.md
openspec/changes/operator-hft-v3/design.md
openspec/changes/operator-hft-v3/proposal.md
openspec/changes/operator-hft-v3/tasks.md
openspec/changes/operator-hft-v3/specs/hft-operators/spec.md
openspec/changes/operator-ir-v3/design.md
openspec/changes/operator-ir-v3/proposal.md
openspec/changes/operator-ir-v3/tasks.md
openspec/changes/operator-ir-v3/specs/operator-contract/spec.md
openspec/changes/operator-ir-v3/specs/operator-graph/spec.md
openspec/changes/operator-measurement-v3/design.md
openspec/changes/operator-measurement-v3/proposal.md
openspec/changes/operator-measurement-v3/tasks.md
openspec/changes/operator-measurement-v3/specs/operator-measurement/spec.md
openspec/changes/operator-token-v3/design.md
openspec/changes/operator-token-v3/proposal.md
openspec/changes/operator-token-v3/tasks.md
openspec/changes/operator-token-v3/specs/token-operators/spec.md
openspec/changes/operator-verification-v3/design.md
openspec/changes/operator-verification-v3/proposal.md
openspec/changes/operator-verification-v3/tasks.md
openspec/changes/operator-verification-v3/specs/operator-verification/spec.md
openspec/changes/persistent-opt-in-contributions-v1/.openspec.yaml
openspec/changes/persistent-opt-in-contributions-v1/design.md
openspec/changes/persistent-opt-in-contributions-v1/proposal.md
openspec/changes/persistent-opt-in-contributions-v1/tasks.md
openspec/changes/persistent-opt-in-contributions-v1/specs/agent-contribution-stage/spec.md
openspec/changes/persistent-opt-in-contributions-v1/specs/durable-consent/spec.md
openspec/changes/pipeline-e2e-v4/design.md
openspec/changes/pipeline-e2e-v4/proposal.md
openspec/changes/pipeline-e2e-v4/tasks.md
openspec/changes/pipeline-e2e-v4/specs/pipeline-cli/spec.md
openspec/changes/pipeline-grammar-v4/design.md
openspec/changes/pipeline-grammar-v4/proposal.md
openspec/changes/pipeline-grammar-v4/tasks.md
openspec/changes/pipeline-grammar-v4/specs/pipeline-search/spec.md
openspec/changes/pipeline-ir-v4/design.md
openspec/changes/pipeline-ir-v4/proposal.md
openspec/changes/pipeline-ir-v4/tasks.md
openspec/changes/pipeline-ir-v4/specs/pipeline-graph/spec.md
openspec/changes/pipeline-llm-v4/design.md
openspec/changes/pipeline-llm-v4/proposal.md
openspec/changes/pipeline-llm-v4/tasks.md
openspec/changes/pipeline-llm-v4/specs/llm-pipeline/spec.md
openspec/changes/pipeline-measurement-v4/design.md
openspec/changes/pipeline-measurement-v4/proposal.md
openspec/changes/pipeline-measurement-v4/tasks.md
openspec/changes/pipeline-measurement-v4/specs/information-movement/spec.md
openspec/changes/pipeline-verification-v4/design.md
openspec/changes/pipeline-verification-v4/proposal.md
openspec/changes/pipeline-verification-v4/tasks.md
openspec/changes/pipeline-verification-v4/specs/pipeline-verification/spec.md
openspec/changes/projection-e2e-v5/design.md
openspec/changes/projection-e2e-v5/proposal.md
openspec/changes/projection-e2e-v5/tasks.md
openspec/changes/projection-e2e-v5/specs/projection-workflow/spec.md
openspec/changes/projection-grammar-v5/design.md
openspec/changes/projection-grammar-v5/proposal.md
openspec/changes/projection-grammar-v5/tasks.md
openspec/changes/projection-grammar-v5/specs/projection-search/spec.md
openspec/changes/projection-ir-v5/design.md
openspec/changes/projection-ir-v5/proposal.md
openspec/changes/projection-ir-v5/tasks.md
openspec/changes/projection-ir-v5/specs/projection-complex/spec.md
openspec/changes/projection-llm-v5/design.md
openspec/changes/projection-llm-v5/proposal.md
openspec/changes/projection-llm-v5/tasks.md
openspec/changes/projection-llm-v5/specs/projection-integration/spec.md
openspec/changes/projection-measurement-v5/design.md
openspec/changes/projection-measurement-v5/proposal.md
openspec/changes/projection-measurement-v5/tasks.md
openspec/changes/projection-measurement-v5/specs/projection-portfolio/spec.md
openspec/changes/projection-verification-v5/design.md
openspec/changes/projection-verification-v5/proposal.md
openspec/changes/projection-verification-v5/tasks.md
openspec/changes/projection-verification-v5/specs/projection-proof/spec.md
openspec/changes/public-contribution-ingestion-v1/.openspec.yaml
openspec/changes/public-contribution-ingestion-v1/design.md
openspec/changes/public-contribution-ingestion-v1/proposal.md
openspec/changes/public-contribution-ingestion-v1/tasks.md
openspec/changes/public-contribution-ingestion-v1/specs/public-contributions/spec.md
openspec/changes/public-release-readiness-v1/.openspec.yaml
openspec/changes/public-release-readiness-v1/design.md
openspec/changes/public-release-readiness-v1/proposal.md
openspec/changes/public-release-readiness-v1/tasks.md
openspec/changes/public-release-readiness-v1/specs/public-release/spec.md
openspec/changes/q4k-active-path-v7/design.md
openspec/changes/q4k-active-path-v7/proposal.md
openspec/changes/q4k-active-path-v7/tasks.md
openspec/changes/q4k-active-path-v7/specs/q4k-active-path/spec.md
openspec/changes/q4k-baseline-parity-v7/design.md
openspec/changes/q4k-baseline-parity-v7/proposal.md
openspec/changes/q4k-baseline-parity-v7/tasks.md
openspec/changes/q4k-baseline-parity-v7/specs/q4k-baseline-parity/spec.md
openspec/changes/q4k-improvement-ceiling-v8/design.md
openspec/changes/q4k-improvement-ceiling-v8/proposal.md
openspec/changes/q4k-improvement-ceiling-v8/tasks.md
openspec/changes/q4k-improvement-ceiling-v8/specs/q4k-improvement-ceiling/spec.md
openspec/changes/q4k-physical-attribution-v8/design.md
openspec/changes/q4k-physical-attribution-v8/proposal.md
openspec/changes/q4k-physical-attribution-v8/tasks.md
openspec/changes/q4k-physical-attribution-v8/specs/q4k-physical-attribution/spec.md
openspec/changes/q4k-physical-bounds-v8/design.md
openspec/changes/q4k-physical-bounds-v8/proposal.md
openspec/changes/q4k-physical-bounds-v8/tasks.md
openspec/changes/q4k-physical-bounds-v8/specs/q4k-physical-bounds/spec.md
openspec/changes/q4k-physical-graph-v8/design.md
openspec/changes/q4k-physical-graph-v8/proposal.md
openspec/changes/q4k-physical-graph-v8/tasks.md
openspec/changes/q4k-physical-graph-v8/specs/q4k-physical-graph/spec.md
openspec/changes/q4k-physical-workflow-v8/design.md
openspec/changes/q4k-physical-workflow-v8/proposal.md
openspec/changes/q4k-physical-workflow-v8/tasks.md
openspec/changes/q4k-physical-workflow-v8/specs/q4k-physical-workflow/spec.md
openspec/changes/q4k-semantic-graph-v7/design.md
openspec/changes/q4k-semantic-graph-v7/proposal.md
openspec/changes/q4k-semantic-graph-v7/tasks.md
openspec/changes/q4k-semantic-graph-v7/specs/q4k-kernel-graph/spec.md
openspec/changes/q4k-sibling-search-v7/design.md
openspec/changes/q4k-sibling-search-v7/proposal.md
openspec/changes/q4k-sibling-search-v7/tasks.md
openspec/changes/q4k-sibling-search-v7/specs/q4k-sibling-search/spec.md
openspec/changes/q4k-transfer-decision-v7/design.md
openspec/changes/q4k-transfer-decision-v7/proposal.md
openspec/changes/q4k-transfer-decision-v7/tasks.md
openspec/changes/q4k-transfer-decision-v7/specs/q4k-transfer-decision/spec.md
openspec/changes/release-channels-rc4/design.md
openspec/changes/release-channels-rc4/proposal.md
openspec/changes/release-channels-rc4/tasks.md
openspec/changes/release-channels-rc4/specs/release-channels/spec.md
openspec/changes/release-vladder-library/.openspec.yaml
openspec/changes/release-vladder-library/README.md
openspec/changes/release-vladder-library/design.md
openspec/changes/release-vladder-library/proposal.md
openspec/changes/release-vladder-library/tasks.md
openspec/changes/release-vladder-library/specs/cpp-information-flow-grammar/spec.md
openspec/changes/release-vladder-library/specs/proof-gated-replacement/spec.md
openspec/changes/release-vladder-library/specs/vladder-distribution/spec.md
openspec/changes/release-vladder-library/specs/vladder-public-api/spec.md
openspec/changes/rust-language-adapter-v1/.openspec.yaml
openspec/changes/rust-language-adapter-v1/design.md
openspec/changes/rust-language-adapter-v1/proposal.md
openspec/changes/rust-language-adapter-v1/tasks.md
openspec/changes/rust-language-adapter-v1/specs/language-adapter/spec.md
openspec/changes/rust-language-adapter-v1/specs/rust-physical-evaluation/spec.md
openspec/changes/rust-language-adapter-v1/specs/rust-semantic-frontend/spec.md
openspec/changes/rust-language-adapter-v1/specs/rust-synthesis-proof/spec.md
openspec/changes/scoped-contribution-capabilities-v1/design.md
openspec/changes/scoped-contribution-capabilities-v1/proposal.md
openspec/changes/scoped-contribution-capabilities-v1/tasks.md
openspec/changes/scoped-contribution-capabilities-v1/specs/contribution-capabilities/spec.md
openspec/changes/semantic-flow-v2-multilanguage/.openspec.yaml
openspec/changes/semantic-flow-v2-multilanguage/design.md
openspec/changes/semantic-flow-v2-multilanguage/proposal.md
openspec/changes/semantic-flow-v2-multilanguage/tasks.md
openspec/changes/semantic-flow-v2-multilanguage/specs/c-cpp-migration/spec.md
openspec/changes/semantic-flow-v2-multilanguage/specs/deep-multilanguage/spec.md
openspec/changes/semantic-flow-v2-multilanguage/specs/semantic-flow-v2/spec.md
openspec/changes/sksf-attribution-v6/design.md
openspec/changes/sksf-attribution-v6/proposal.md
openspec/changes/sksf-attribution-v6/tasks.md
openspec/changes/sksf-attribution-v6/specs/attribution-gate/spec.md
openspec/changes/sksf-kernel-synthesis-v6/design.md
openspec/changes/sksf-kernel-synthesis-v6/proposal.md
openspec/changes/sksf-kernel-synthesis-v6/tasks.md
openspec/changes/sksf-kernel-synthesis-v6/specs/kernel-synthesis/spec.md
openspec/changes/sksf-measurement-v6/design.md
openspec/changes/sksf-measurement-v6/proposal.md
openspec/changes/sksf-measurement-v6/tasks.md
openspec/changes/sksf-measurement-v6/specs/portfolio-ranking/spec.md
openspec/changes/sksf-production-v6/design.md
openspec/changes/sksf-production-v6/proposal.md
openspec/changes/sksf-production-v6/tasks.md
openspec/changes/sksf-production-v6/specs/production-integration/spec.md
openspec/changes/sksf-verification-v6/design.md
openspec/changes/sksf-verification-v6/proposal.md
openspec/changes/sksf-verification-v6/tasks.md
openspec/changes/sksf-verification-v6/specs/kernel-verification/spec.md
openspec/changes/weight-traversal-ir-v9/design.md
openspec/changes/weight-traversal-ir-v9/proposal.md
openspec/changes/weight-traversal-ir-v9/tasks.md
openspec/changes/weight-traversal-ir-v9/specs/weight-traversal-ir/spec.md
openspec/changes/weight-traversal-portfolio-v9/design.md
openspec/changes/weight-traversal-portfolio-v9/proposal.md
openspec/changes/weight-traversal-portfolio-v9/tasks.md
openspec/changes/weight-traversal-portfolio-v9/specs/weight-traversal-portfolio/spec.md
openspec/changes/weight-traversal-runtime-v9/design.md
openspec/changes/weight-traversal-runtime-v9/proposal.md
openspec/changes/weight-traversal-runtime-v9/tasks.md
openspec/changes/weight-traversal-runtime-v9/specs/weight-traversal-runtime/spec.md
openspec/changes/weight-traversal-search-v9/design.md
openspec/changes/weight-traversal-search-v9/proposal.md
openspec/changes/weight-traversal-search-v9/tasks.md
openspec/changes/weight-traversal-search-v9/specs/weight-traversal-search/spec.md
openspec/changes/weight-traversal-verification-v9/design.md
openspec/changes/weight-traversal-verification-v9/proposal.md
openspec/changes/weight-traversal-verification-v9/tasks.md
openspec/changes/weight-traversal-verification-v9/specs/weight-traversal-verification/spec.md
openspec/changes/zig-julia-language-adapters-v1/.openspec.yaml
openspec/changes/zig-julia-language-adapters-v1/design.md
openspec/changes/zig-julia-language-adapters-v1/proposal.md
openspec/changes/zig-julia-language-adapters-v1/tasks.md
openspec/changes/zig-julia-language-adapters-v1/specs/julia-regions/spec.md
openspec/changes/zig-julia-language-adapters-v1/specs/language-adapter/spec.md
openspec/changes/zig-julia-language-adapters-v1/specs/zig-regions/spec.md
packaging/homebrew/vladder.rb.in
release/channels.toml
scripts/audit_release.py
scripts/bootstrap_language_toolchains.sh
scripts/install.sh
scripts/public_release_gate.py
scripts/release_preflight.py
scripts/release_readiness.py
scripts/render_homebrew_formula.py
scripts/run_release_demos.py
scripts/validate_automatic_regions.py
scripts/validate_release_seeds.py
studies/deep-grammar-v2/expert_transfer.rs
studies/deep-grammar-v2/result.md
studies/rust-bytecount/README.md
studies/rust-bytecount/benchmark.rs
studies/rust-bytecount/result.md
tests/test_agentic_rc6.py
tests/test_automatic_regions.py
tests/test_bounded_dataflow.py
tests/test_c_lift.py
tests/test_canonical_frontends.py
tests/test_corpus_shapes.py
tests/test_cpp_regions.py
tests/test_deep_grammar.py
tests/test_domain_operators_v3.py
tests/test_extractor.py
tests/test_flow.py
tests/test_ggml_graph_v4.py
tests/test_ggml_profile_v4.py
tests/test_gpu_heterogeneous.py
tests/test_grammar_and_memory.py
tests/test_lifetime_v1.py
tests/test_llama_integration.py
tests/test_lowering_engine.py
tests/test_measurement_v3.py
tests/test_operator_grammar.py
tests/test_operator_ir.py
tests/test_pipeline_v4.py
tests/test_prior_v0.py
tests/test_projection_v5.py
tests/test_public_release.py
tests/test_q4k_v7.py
tests/test_q4k_v8.py
tests/test_release_packaging.py
tests/test_release_readiness.py
tests/test_release_vladder.py
tests/test_run_state.py
tests/test_rust_adapter.py
tests/test_semantic_closure.py
tests/test_semantic_flow_v2.py
tests/test_semantic_smt.py
tests/test_sksf_v6.py
tests/test_verification_v3.py
tests/test_weight_traversal_v9.py
tests/test_zig_julia_adapters.py
vladder/__init__.py
vladder/__main__.py
vladder/agent_workflow.py
vladder/api.py
vladder/automatic.py
vladder/bounded_reduction.py
vladder/c_lift.py
vladder/candidates.py
vladder/canonical_regions.py
vladder/capabilities.py
vladder/cli.py
vladder/closure_bindings.py
vladder/consent.py
vladder/contribution_transport.py
vladder/cpp_adapters.py
vladder/cpp_closure.py
vladder/cpp_regions.py
vladder/cpp_semantics.py
vladder/cuda_runtime.py
vladder/cuda_synthesis.py
vladder/dataflow_audit.py
vladder/dataflow_grammar.py
vladder/dataflow_ir.py
vladder/dataflow_lowering.py
vladder/dataflow_multilang.py
vladder/dataflow_proof.py
vladder/deep_audit.py
vladder/deep_benchmark.py
vladder/deep_grammar.py
vladder/deep_ir.py
vladder/deep_lowering.py
vladder/deep_proof.py
vladder/device_protocol.py
vladder/device_topology.py
vladder/diagnostics.py
vladder/extractor.py
vladder/flow.py
vladder/ggml_graph.py
vladder/ggml_profile.py
vladder/gpu_ir.py
vladder/gpu_physical.py
vladder/gpu_workflow.py
vladder/grammar_search.py
vladder/graph_candidates.py
vladder/hardware_manifest.py
vladder/hft_operators.py
vladder/hft_optimize.py
vladder/julia_adapter.py
vladder/kernel_graph.py
vladder/kernel_lab_v6.py
vladder/kernel_search.py
vladder/language_adapter.py
vladder/lifetime_attribution.py
vladder/lifetime_grammar.py
vladder/lifetime_graph.py
vladder/lifetime_realization.py
vladder/lifetime_verification.py
vladder/lifetime_workflow.py
vladder/llama_integration.py
vladder/llm_lifter.py
vladder/llvm_ir.py
vladder/lowerers.py
vladder/lowering.py
vladder/memory_proofs.py
vladder/operator_analysis.py
vladder/operator_contract.py
vladder/operator_grammar.py
vladder/operator_graph.py
vladder/operator_lift.py
vladder/operator_optimize.py
vladder/operator_verification.py
vladder/paired_benchmark.py
vladder/pipeline_graph.py
vladder/pipeline_search.py
vladder/pipeline_v4.py
vladder/pipeline_verification.py
vladder/portfolio_v6.py
vladder/prior_data.py
vladder/prior_model.py
vladder/prior_search.py
vladder/prior_synthetic.py
vladder/prior_workflow.py
vladder/projection_graph.py
vladder/projection_layout.py
vladder/projection_profile.py
vladder/projection_search.py
vladder/projection_v5.py
vladder/projection_verification.py
vladder/proofs.py
vladder/protocol_envelopes.py
vladder/q4k_capture.py
vladder/q4k_fused_source.py
vladder/q4k_model_verify.py
vladder/q4k_parity.py
vladder/q4k_physical.py
vladder/q4k_semantics.py
vladder/q4k_sibling.py
vladder/q4k_v7.py
vladder/q4k_v8.py
vladder/q4k_v8_variants.py
vladder/region_closure.py
vladder/release_readiness.py
vladder/replacement.py
vladder/report.py
vladder/review_workflow.py
vladder/run_state.py
vladder/rust_adapter.py
vladder/rust_semantics.py
vladder/rust_verification.py
vladder/schema_registry.py
vladder/semantic_closure.py
vladder/semantic_smt.py
vladder/shader_workflow.py
vladder/skill_tools.py
vladder/sksf_attribution.py
vladder/sksf_workflow.py
vladder/state_protocol.py
vladder/statistics_v3.py
vladder/system_closure.py
vladder/token_operators.py
vladder/toolchain.py
vladder/training_workflow.py
vladder/verification_policy.py
vladder/verification_v3.py
vladder/weight_traversal_graph.py
vladder/weight_traversal_search.py
vladder/weight_traversal_v9.py
vladder/zig_adapter.py
vladder.egg-info/PKG-INFO
vladder.egg-info/SOURCES.txt
vladder.egg-info/dependency_links.txt
vladder.egg-info/entry_points.txt
vladder.egg-info/requires.txt
vladder.egg-info/top_level.txt
vladder/grammars/guarded_pointwise_map.json
vladder/grammars/indirect_memory.json
vladder/grammars/pointwise_map.json
vladder/grammars/recurrence.json
vladder/grammars/scan.json
vladder/grammars/stencil.json
vladder/grammars/bounded-dataflow-v1/grammar.json
vladder/grammars/deep-v2/grammar.json
vladder/grammars/kernel-v6/accumulator.json
vladder/grammars/kernel-v6/activation_preparation.json
vladder/grammars/kernel-v6/decode.json
vladder/grammars/kernel-v6/dispatch.json
vladder/grammars/kernel-v6/kv_pressure.json
vladder/grammars/kernel-v6/materialization.json
vladder/grammars/kernel-v6/shared_projection.json
vladder/grammars/kernel-v6/token_reuse.json
vladder/grammars/kernel-v6/traversal.json
vladder/grammars/lifetime-v1/grammar.json
vladder/grammars/operator-v3/control.json
vladder/grammars/operator-v3/fusion.json
vladder/grammars/operator-v3/layout.json
vladder/grammars/operator-v3/reduction.json
vladder/grammars/operator-v3/schedule.json
vladder/grammars/operator-v3/specialization.json
vladder/grammars/pipeline-v4/fusion.json
vladder/grammars/pipeline-v4/layout.json
vladder/grammars/pipeline-v4/materialization.json
vladder/grammars/pipeline-v4/reduction.json
vladder/grammars/pipeline-v4/scratch.json
vladder/grammars/pipeline-v4/state.json
vladder/grammars/pipeline-v4/traversal.json
vladder/grammars/projection-v5/accumulator.json
vladder/grammars/projection-v5/activation.json
vladder/grammars/projection-v5/dispatch.json
vladder/grammars/projection-v5/materialization.json
vladder/grammars/projection-v5/reuse.json
vladder/grammars/projection-v5/traversal.json
vladder/grammars/projection-v5/weight_layout.json
vladder/grammars/vladder-v1/capabilities.json
vladder/native/cuda_driver_runner.cpp
vladder/native/vulkan_probe.cpp
vladder/reviews/agent-consent-prompt.md
vladder/reviews/agent-review-prompt.md
vladder/schemas/agent-review-v1.schema.json
vladder/schemas/benchmark-result-v1.schema.json
vladder/schemas/promotion-summary-v1.schema.json
vladder/schemas/registry.json
vladder/schemas/semantic-flow-v2.schema.json
vladder/schemas/system-closure-v1.schema.json
vladder/schemas/training-bundle-v1.schema.json
vladder/skills/vladder/SKILL.md
vladder/skills/vladder/agents/openai.yaml
vladder/skills/vladder/prompts/system-closure.md
vladder/skills/vladder/references/agent-workflow.md
vladder/skills/vladder/references/automatic-regions.md
vladder/skills/vladder/references/benchmarking.md
vladder/skills/vladder/references/bounded-dataflow.md
vladder/skills/vladder/references/canonical-regions.md
vladder/skills/vladder/references/consent.md
vladder/skills/vladder/references/contracts.md
vladder/skills/vladder/references/cpp-regions.md
vladder/skills/vladder/references/deep-grammar.md
vladder/skills/vladder/references/gpu-workflow.md
vladder/skills/vladder/references/grammar.md
vladder/skills/vladder/references/julia-regions.md
vladder/skills/vladder/references/learned-prior.md
vladder/skills/vladder/references/lifetime.md
vladder/skills/vladder/references/release-evidence.md
vladder/skills/vladder/references/rust-regions.md
vladder/skills/vladder/references/system-closure.md
vladder/skills/vladder/references/verification.md
vladder/skills/vladder/references/zig-regions.md