struct Recipe pub
cambió de firma H4b: gate de compatibilidad de configs en la receta real + `hammer install` (SDD 15 §H4) sergio · hace 3 meses
⟲ Historia de la definición
struct Source pub
cambió de firma fetch: cargo_vendor_dir per-receta — no pisar el vendor/ propio del proyecto sergio · hace 3 meses
⟲ Historia de la definición
fn default_strip
nació Fase 0+1 cerradas: GNU grep 3.12 real construido e hidratado Sergio · hace 4 meses
⟲ Historia de la definición
enum SourceKind pub
nació Fase 0+1 cerradas: GNU grep 3.12 real construido e hidratado Sergio · hace 4 meses
⟲ Historia de la definición
fn kind pub
nació Fase 0+1 cerradas: GNU grep 3.12 real construido e hidratado Sergio · hace 4 meses
⟲ Historia de la definición
struct Build pub
cambió de firma Etapa G: frontera go.mod-en-subdir — knob [build] subdir (vendor/detect/compile en src/<subdir>) sergio · hace 3 meses
⟲ Historia de la definición
struct Phases pub
nació Fase 0+1: build sandbox real (bwrap + zig cc) e hidratación por hardlinks Sergio · hace 4 meses
⟲ Historia de la definición
fn is_empty pub
nació Etapa F paquetería #1: `hammer pack` — receta del corpus → paquete .swm (source_patch) sergio · hace 4 meses
⟲ Historia de la definición
struct Deps pub
nació Scaffold inicial: workspace Rust + SDDs completos sergio · hace 4 meses
⟲ Historia de la definición
fn is_empty pub
cambió por dentro Etapa F paquetería #3: deps entre paquetes — install resuelve el cierre y reconstruye el catálogo sergio · hace 4 meses
⟲ Historia de la definición
struct Slots pub
nació H4b: gate de compatibilidad de configs en la receta real + `hammer install` (SDD 15 §H4) sergio · hace 3 meses
⟲ Historia de la definición
fn is_empty pub
cambió por dentro H4b: gate de compatibilidad de configs en la receta real + `hammer install` (SDD 15 §H4) sergio · hace 3 meses
⟲ Historia de la definición
fn validate pub
cambió por dentro H4b: gate de compatibilidad de configs en la receta real + `hammer install` (SDD 15 §H4) sergio · hace 3 meses
⟲ Historia de la definición
struct Evidence pub
nació H1a (proof-carrying recipes): bloque `evidence` en receta y .swm sergio · hace 3 meses
⟲ Historia de la definición
fn is_empty pub
cambió por dentro H1a (proof-carrying recipes): bloque `evidence` en receta y .swm sergio · hace 3 meses
⟲ Historia de la definición
fn validate pub
nació H1a (proof-carrying recipes): bloque `evidence` en receta y .swm sergio · hace 3 meses
⟲ Historia de la definición
struct EvidenceCheck pub
nació H1a (proof-carrying recipes): bloque `evidence` en receta y .swm sergio · hace 3 meses
⟲ Historia de la definición
enum EvidenceKind pub
nació H1a (proof-carrying recipes): bloque `evidence` en receta y .swm sergio · hace 3 meses
⟲ Historia de la definición
fn level pub
nació H1a (proof-carrying recipes): bloque `evidence` en receta y .swm sergio · hace 3 meses
⟲ Historia de la definición
fn as_str pub
cambió por dentro H1a (proof-carrying recipes): bloque `evidence` en receta y .swm sergio · hace 3 meses
⟲ Historia de la definición
struct CheckOutcome pub
nació H1b (proof-carrying recipes): checker `swm-verify --evidence` que ejecuta la evidencia sergio · hace 3 meses
⟲ Historia de la definición
fn evaluate pub
nació H1b (proof-carrying recipes): checker `swm-verify --evidence` que ejecuta la evidencia sergio · hace 3 meses
⟲ Historia de la definición
enum Compiler pub
nació Scaffold inicial: workspace Rust + SDDs completos sergio · hace 4 meses
⟲ Historia de la definición
fn as_str pub
nació Scaffold inicial: workspace Rust + SDDs completos sergio · hace 4 meses
⟲ Historia de la definición
enum LinkMode pub
nació Scaffold inicial: workspace Rust + SDDs completos sergio · hace 4 meses
⟲ Historia de la definición
fn as_str pub
cambió por dentro Fase 0+1: build sandbox real (bwrap + zig cc) e hidratación por hardlinks Sergio · hace 4 meses
⟲ Historia de la definición
fn default_target
nació Scaffold inicial: workspace Rust + SDDs completos sergio · hace 4 meses
⟲ Historia de la definición
fn from_toml pub
cambió de firma Fase 0+1: build sandbox real (bwrap + zig cc) e hidratación por hardlinks Sergio · hace 4 meses
⟲ Historia de la definición
fn to_toml pub
nació Fase 4 — provenance en `hammer export` (sidecar de receta en el store) Sergio · hace 4 meses
⟲ Historia de la definición
fn load_from_path pub
nació Fase 0+1: build sandbox real (bwrap + zig cc) e hidratación por hardlinks Sergio · hace 4 meses
⟲ Historia de la definición
fn hash_inputs pub
cambió por dentro build: zig_version por-receta — 5 víctimas C dropean gcc (zig 0.13) sergio · hace 4 meses
⟲ Historia de la definición
mod tests
cambió de firma H4b: gate de compatibilidad de configs en la receta real + `hammer install` (SDD 15 §H4) sergio · hace 3 meses
⟲ Historia de la definición
def SAMPLE
cambió de firma Fase 0+1 cerradas: GNU grep 3.12 real construido e hidratado Sergio · hace 4 meses
⟲ Historia de la definición
fn parse_full
cambió por dentro Fase 0+1 cerradas: GNU grep 3.12 real construido e hidratado Sergio · hace 4 meses
⟲ Historia de la definición
fn to_toml_roundtrips_via_from_toml
nació Fase 4 — provenance en `hammer export` (sidecar de receta en el store) Sergio · hace 4 meses
⟲ Historia de la definición
fn parse_tarball_source
nació Fase 0+1 cerradas: GNU grep 3.12 real construido e hidratado Sergio · hace 4 meses
⟲ Historia de la definición
fn source_mixed_modes_rejected
nació Fase 0+1 cerradas: GNU grep 3.12 real construido e hidratado Sergio · hace 4 meses
⟲ Historia de la definición
fn source_missing_fields_rejected
nació Fase 0+1 cerradas: GNU grep 3.12 real construido e hidratado Sergio · hace 4 meses
⟲ Historia de la definición
fn tarball_and_git_hash_to_different_values
nació Fase 0+1 cerradas: GNU grep 3.12 real construido e hidratado Sergio · hace 4 meses
⟲ Historia de la definición
fn parse_minimal_uses_defaults
nació Fase 0+1: build sandbox real (bwrap + zig cc) e hidratación por hardlinks Sergio · hace 4 meses
⟲ Historia de la definición
fn hash_no_patches_is_deterministic
nació Fase 0+1: build sandbox real (bwrap + zig cc) e hidratación por hardlinks Sergio · hace 4 meses
⟲ Historia de la definición
fn hash_uses_patch_contents_not_path
nació Fase 0+1: build sandbox real (bwrap + zig cc) e hidratación por hardlinks Sergio · hace 4 meses
⟲ Historia de la definición
fn hash_changes_when_patch_content_changes
nació Fase 0+1: build sandbox real (bwrap + zig cc) e hidratación por hardlinks Sergio · hace 4 meses
⟲ Historia de la definición
fn missing_patch_reports_path
nació Fase 0+1: build sandbox real (bwrap + zig cc) e hidratación por hardlinks Sergio · hace 4 meses
⟲ Historia de la definición
fn load_from_path_sets_base_dir
nació Fase 0+1: build sandbox real (bwrap + zig cc) e hidratación por hardlinks Sergio · hace 4 meses
⟲ Historia de la definición
def WITH_EVIDENCE
nació H1a (proof-carrying recipes): bloque `evidence` en receta y .swm sergio · hace 3 meses
⟲ Historia de la definición
fn parse_evidence_block
nació H1a (proof-carrying recipes): bloque `evidence` en receta y .swm sergio · hace 3 meses
⟲ Historia de la definición
fn evidence_absent_is_empty_and_omitted
nació H1a (proof-carrying recipes): bloque `evidence` en receta y .swm sergio · hace 3 meses
⟲ Historia de la definición
fn evidence_does_not_affect_artifact_hash
nació H1a (proof-carrying recipes): bloque `evidence` en receta y .swm sergio · hace 3 meses
⟲ Historia de la definición
fn slots_round_trip_y_no_afectan_el_hash
nació H4b: gate de compatibilidad de configs en la receta real + `hammer install` (SDD 15 §H4) sergio · hace 3 meses
⟲ Historia de la definición
fn slots_validate_rechaza_hash_sin_prefijo
nació H4b: gate de compatibilidad de configs en la receta real + `hammer install` (SDD 15 §H4) sergio · hace 3 meses
⟲ Historia de la definición
fn evidence_validate_rejects_empty_cmd_and_bad_hash
nació H1a (proof-carrying recipes): bloque `evidence` en receta y .swm sergio · hace 3 meses
⟲ Historia de la definición
fn evidence_kind_levels_are_stratified
nació H1a (proof-carrying recipes): bloque `evidence` en receta y .swm sergio · hace 3 meses
⟲ Historia de la definición
fn check
nació H1b (proof-carrying recipes): checker `swm-verify --evidence` que ejecuta la evidencia sergio · hace 3 meses
⟲ Historia de la definición
fn evaluate_exit_only_pass_and_fail
nació H1b (proof-carrying recipes): checker `swm-verify --evidence` que ejecuta la evidencia sergio · hace 3 meses
⟲ Historia de la definición
fn evaluate_non_zero_expected_exit
nació H1b (proof-carrying recipes): checker `swm-verify --evidence` que ejecuta la evidencia sergio · hace 3 meses
⟲ Historia de la definición
fn evaluate_output_hash_pass_and_fail
nació H1b (proof-carrying recipes): checker `swm-verify --evidence` que ejecuta la evidencia sergio · hace 3 meses
⟲ Historia de la definición