punkshell

1504 Commits

1 Branch

1 Tag

275 MiB

Commit Graph

Author	SHA1	Message	Date
Julian Noble	8f446690c1	G-172 (active): record + surface + audit the distributed-binary CPU floor Approach 3 (record floor field): build905.zig declares cpu_floor="baseline" beside the default_target pin and writes cpu_floor + cpu_model into each family member's embedded record [provenance] (= target.result.cpu.model.name, so "x86_64" for the default build, "znver5" for -Dcpu=native - the floor is a default, not a restriction). family_artifacts.tcl derives both from the embedded record (G-117 single-source-of-truth) into the sidecar [provenance], failing if absent; family_check.tcl asserts them non-empty. Approach 4 (audit tool): scriptlib/developer/cpufloor_audit.tcl disassembles a binary's .text via a located objdump (llvm-objdump preferred, GNU fallback) or audits a pre-disassembled excerpt, classifies by AVX register width (zmm=v4, ymm=v3; baseline/v2 forbid both, v3 forbids zmm, v4 allows all), reports out-of-floor count + first RVA + sample mnemonics, exit 0 PASS / 1 FAIL. Bundled fixtures in cpufloor_fixtures/ are real disassembly excerpts (avx512, avx2, clean); selftest 12/12 cases pass. Verified on real binaries: rebuilt bin/punkzip.exe PASS (zmm=0); a -Dcpu=native probe FAILs at baseline (123 zmm) and PASSes at v4. Approach 5 (punk-runtime surfacing): both .ps1 and .bash twins updated and re-wrapped. Host CPU level detection (PS via IsProcessorFeaturePresent PF SSE2=10/SSE4.2=38/AVX2=40/AVX512F=41; bash via /proc/cpuinfo flags) feeds a meets/below/unknown/norecord verdict. fetch prints cpu floor (UNGATED - a cross-platform fetch for another machine stays free); list annotates rows the host cannot run (!CPU-FLOOR:v<req>, local rows only); use/run gate on below with a named diagnosis instead of a silent STATUS_ILLEGAL_INSTRUCTION (0xC000001D) - the 2026-08-06 AVX-512 regression failure mode; info adds the fields. bin/punk-runtime.cmd re-wrapped (deterministic; scriptwrap_runtime_cmd_roundtrip_no_drift test PASSES). Activation: overlap survey re-run at activation (goals_xref score G-172) - no goals drafted in the interval; existing Related: notes cover every pair. Project version 0.57.0 -> 0.57.1 (patch - user-visible punk-runtime behaviour shipped in kits). Remaining for acceptance: rebuild + republish in-situ (per Approach 6's alpha dispensation) and audit the republished artifacts to confirm zmm=0 - a publication-time, user-owned step. Assisted-by: harness=pi; primary-model=huggingface/zai-org/GLM-5.2; api-location=huggingface.co	3 weeks ago

Author

SHA1

Message

Date

Julian Noble

8f446690c1

G-172 (active): record + surface + audit the distributed-binary CPU floor

Approach 3 (record floor field): build905.zig declares cpu_floor="baseline"
beside the default_target pin and writes cpu_floor + cpu_model into each
family member's embedded record [provenance] (= target.result.cpu.model.name,
so "x86_64" for the default build, "znver5" for -Dcpu=native - the floor is a
default, not a restriction). family_artifacts.tcl derives both from the
embedded record (G-117 single-source-of-truth) into the sidecar [provenance],
failing if absent; family_check.tcl asserts them non-empty.

Approach 4 (audit tool): scriptlib/developer/cpufloor_audit.tcl disassembles a
binary's .text via a located objdump (llvm-objdump preferred, GNU fallback) or
audits a pre-disassembled excerpt, classifies by AVX register width (zmm=v4,
ymm=v3; baseline/v2 forbid both, v3 forbids zmm, v4 allows all), reports
out-of-floor count + first RVA + sample mnemonics, exit 0 PASS / 1 FAIL.
Bundled fixtures in cpufloor_fixtures/ are real disassembly excerpts (avx512,
avx2, clean); selftest 12/12 cases pass. Verified on real binaries: rebuilt
bin/punkzip.exe PASS (zmm=0); a -Dcpu=native probe FAILs at baseline (123 zmm)
and PASSes at v4.

Approach 5 (punk-runtime surfacing): both .ps1 and .bash twins updated and
re-wrapped. Host CPU level detection (PS via IsProcessorFeaturePresent PF
SSE2=10/SSE4.2=38/AVX2=40/AVX512F=41; bash via /proc/cpuinfo flags) feeds a
meets/below/unknown/norecord verdict. fetch prints cpu floor (UNGATED - a
cross-platform fetch for another machine stays free); list annotates rows the
host cannot run (!CPU-FLOOR:v<req>, local rows only); use/run gate on below
with a named diagnosis instead of a silent STATUS_ILLEGAL_INSTRUCTION
(0xC000001D) - the 2026-08-06 AVX-512 regression failure mode; info adds the
fields. bin/punk-runtime.cmd re-wrapped (deterministic;
scriptwrap_runtime_cmd_roundtrip_no_drift test PASSES).

Activation: overlap survey re-run at activation (goals_xref score G-172) - no
goals drafted in the interval; existing Related: notes cover every pair.

Project version 0.57.0 -> 0.57.1 (patch - user-visible punk-runtime behaviour
shipped in kits). Remaining for acceptance: rebuild + republish in-situ (per
Approach 6's alpha dispensation) and audit the republished artifacts to confirm
zmm=0 - a publication-time, user-owned step.

Assisted-by: harness=pi; primary-model=huggingface/zai-org/GLM-5.2; api-location=huggingface.co

3 weeks ago

1 Commits (d4d70d38086cfd259f5ce085cf5786ac34f4e6d7)