Makefile
Rama main · réplica de lectura del repositorio original.
.PHONY: build check test test-stdlib clean fmt install help lint lint-fix lint-docs \
docs-gen generated-ontology test-generated-ontology \
test-generated-ontology-manifest test-generated-ontology-fresh \
test-ontology-bundle-directive-native-scan \
test-ontology-cache-frontend-composition \
test-unit-types test-unit-types-derived test-ontology-unit-metadata \
test-unit-types-clinical-current-source \
test-knowledge-context-phase2 test-knowledge-unit-constraints \
test-knowledge-numeric-constraints test-knowledge-composite \
test-knowledge-static-values test-knowledge-runtime-obligations \
test-knowledge-runtime-guards test-knowledge-runtime-guard-directive \
test-knowledge-runtime-guard-lowering-plan \
test-knowledge-runtime-guard-native-lowering \
test-knowledge-context-static \
test-semantic-knowledge-spine \
test-madaros-identity test-real-language-runner test-project-spine \
website-verified-snapshot
SOUC := ./bin/souc
ifneq ("$(wildcard Makefile.verify)","")
include Makefile.verify
endif
##@ Developer Targets
help: ## Show this help message
@grep -E '^[a-zA-Z_-]+:.*?## .*$$' $(MAKEFILE_LIST) | awk 'BEGIN {FS = ":.*?## "}; {printf "\033[36m%-20s\033[0m %s\n", $$1, $$2}'
build: ## Bootstrap compile: JIT → gen1 → gen2 → gen3 (fixed-point verification)
@echo "→ Stage 0: JIT (bin/souc-linux-x86_64) compiles lean_single → gen1.elf"
./bin/souc-linux-x86_64 self-hosted/compiler/lean_single.sio gen1.elf
chmod +x gen1.elf
@echo "→ Stage 1: gen1.elf compiles lean_single → gen2.elf"
./gen1.elf self-hosted/compiler/lean_single.sio gen2.elf
chmod +x gen2.elf
@echo "→ Stage 2: gen2.elf compiles lean_single → gen3.elf"
./gen2.elf self-hosted/compiler/lean_single.sio gen3.elf
chmod +x gen3.elf
@echo "→ Verifying fixed-point..."
@MD5_GEN2=$$(md5sum gen2.elf | awk '{print $$1}'); \
MD5_GEN3=$$(md5sum gen3.elf | awk '{print $$1}'); \
if [ "$$MD5_GEN2" = "$$MD5_GEN3" ]; then \
echo "✓ FIXED POINT OK ($$MD5_GEN2)"; \
else \
echo "✗ FIXED POINT BROKEN"; \
echo " gen2: $$MD5_GEN2"; \
echo " gen3: $$MD5_GEN3"; \
exit 1; \
fi
check: ## Type-check self-hosted compiler and run lint gates
@echo "→ Type-checking self-hosted/compiler/lean_single.sio"
$(SOUC) check self-hosted/compiler/lean_single.sio
@echo "→ Regenerating stdlib API reference"
@bash scripts/build/gen_stdlib_api_md.sh
@echo "→ Running lint gates..."
@bash -o pipefail -c 'bash scripts/dev/full_gate.sh 2>&1 | tail -40'
test: ## Run full test suite (compile-fail + run-pass + stdlib)
@echo "→ Running full test suite"
@bash scripts/run_sio_test_suite.sh
test-stdlib: ## Run stdlib integration tests (subset)
@echo "→ Running stdlib tests"
$(SOUC) run tests/stdlib/bayes/test_prior_e2e.sio
$(SOUC) run tests/stdlib/complex/test_complex.sio
build-madaros: ## Build the Stage1 modular compiler (Madaros); cached by content, see scripts/dev/madaros-cache.sh
@echo "→ Building Madaros (Stage1 modular compiler)"
bash scripts/ci/build_modular_madaros.sh artifacts/self-hosted/madaros
MADAROS_BG_LOG := artifacts/self-hosted/build-madaros.log
MADAROS_BG_PID := artifacts/self-hosted/build-madaros.pid
build-madaros-bg: ## Same, detached (survives SSH drops); log+pid under artifacts/self-hosted/
@mkdir -p artifacts/self-hosted
@# One shell: `exit` in a separate recipe line would not stop the launch.
@if [ -f $(MADAROS_BG_PID) ] && kill -0 $$(cat $(MADAROS_BG_PID)) 2>/dev/null; then \
echo "build already running: pid $$(cat $(MADAROS_BG_PID)), log $(MADAROS_BG_LOG)"; \
else \
nohup bash scripts/ci/build_modular_madaros.sh artifacts/self-hosted/madaros > $(MADAROS_BG_LOG) 2>&1 & echo $$! > $(MADAROS_BG_PID); \
echo "→ Madaros build detached: pid $$(cat $(MADAROS_BG_PID)), log $(MADAROS_BG_LOG)"; \
echo " follow with: make build-madaros-wait"; \
fi
build-madaros-wait: ## Block until the detached build finishes; exit with its status
@if [ ! -f $(MADAROS_BG_PID) ]; then echo "no detached build (no $(MADAROS_BG_PID))"; exit 2; fi
@pid=$$(cat $(MADAROS_BG_PID)); \
while kill -0 $$pid 2>/dev/null; do sleep 15; done; \
tail -n 3 $(MADAROS_BG_LOG); \
test -s artifacts/self-hosted/madaros && grep -q "Madaros ready" $(MADAROS_BG_LOG)
madaros-cache-status: ## Show what the content-addressed Madaros cache holds
@bash -c 'source scripts/dev/madaros-cache.sh; d=$$(madaros_cache_dir); echo "cache: $$d"; \
for s in seed madaros; do echo "-- $$s"; ls -1t $$d/$$s 2>/dev/null | grep -v "^\." | while read k; do \
printf " %s built %s head %s\n" "$${k:0:12}" "$$(cat $$d/$$s/$$k/built 2>/dev/null)" "$$(cat $$d/$$s/$$k/head 2>/dev/null)"; done; done; \
echo "-- current tree key: $$(madaros_tree_key | cut -c1-12)"'
test-madaros-identity: ## Verify Madaros identifies as the Stage1 modular Sounio compiler
@bash scripts/gates/g6_madaros_identity.sh
test-real-language-runner: ## Verify public souc CLI + REPL + Madaros identity
@bash scripts/ci/real_language_runner_gate.sh
test-project-spine: ## Verify sounio.toml project mode on souc and Madaros
@bash scripts/ci/project_spine_gate.sh
madaros-full-gate: build-madaros ## Build Madaros, then run the Stage1 end-to-end gate
@echo "→ Running Madaros full-functioning gate"
bash scripts/ci/madaros_full_gate.sh
madaros-wide-int-gate: ## Run the wide-integer (i128/i256) experimental gate
@echo "→ Running Madaros wide-integer gate"
bash scripts/ci/madaros_wide_int_gate.sh
madaros-enum-gate: ## Run the focused enum declaration + variant-use regression gate
@echo "→ Running Madaros enum regression gate"
bash scripts/ci/madaros_enum_gate.sh
madaros-loop-gate: ## Run the focused for/while + break/continue regression gate
@echo "→ Running Madaros loop regression gate"
bash scripts/ci/madaros_loop_gate.sh
clean: ## Remove generated ELF artifacts (gen1, gen2, gen3)
rm -f gen1.elf gen2.elf gen3.elf gen4.elf
@echo "✓ Cleaned generated artifacts"
fmt: ## Format .sio source code (not yet implemented)
@echo "⚠ soufmt not yet implemented"
lint: ## Lint .sio files for Rust hallucinations (LLM grammar enforcer)
@find tests/stdlib examples -name "*.sio" -print0 | xargs -0 python3 scripts/dev/sounio-lint.py --errors-only 2>&1 | grep -v "^sounio-lint:.*OK$$" || true
lint-fix: ## Apply automatic fixes to a file: make lint-fix FILE=path/to/file.sio
@if [ -z "$(FILE)" ]; then echo "Usage: make lint-fix FILE=path/to/file.sio"; exit 1; fi
@python3 scripts/dev/sounio-lint.py --fix $(FILE)
docs-gen: ## Regenerate stdlib API reference from source
@bash scripts/build/gen_stdlib_api_md.sh
generated-ontology: ## Regenerate .dontology bundles and generated ontology .sio stubs
@echo "→ Building .dontology bundles from stdlib ontology source slices"
@python3 scripts/ontology/build_bundle.py \
--source-dir stdlib/data/data/ontology/source \
--output-dir stdlib/data/data/ontology/bundles
@echo "→ Validating stable public .dontology bundles and SSSOM mapping shards"
@python3 scripts/ontology/validate_bundle.py \
--bundle stdlib/data/data/ontology/bundles/alg.dontology \
--bundle stdlib/data/data/ontology/bundles/chebi.dontology \
--bundle stdlib/data/data/ontology/bundles/go.dontology \
--bundle stdlib/data/data/ontology/bundles/hpo.dontology \
--bundle stdlib/data/data/ontology/bundles/loinc.dontology \
--bundle stdlib/data/data/ontology/bundles/part.dontology \
--bundle stdlib/data/data/ontology/bundles/phys.dontology \
--bundle stdlib/data/data/ontology/bundles/qm.dontology \
--bundle stdlib/data/data/ontology/bundles/snomed.dontology \
--mapping-dir stdlib/data/data/ontology/bundles/mappings
@echo "→ Generating stdlib ontology stubs via the C FFI importer"
@bash scripts/ontology/generate_dontology_stubs.sh
test-generated-ontology: generated-ontology ## Regenerate ontology stubs and run generated ontology witnesses
@bash scripts/run_sio_test_suite.sh ontology_generated --verbose
test-generated-ontology-manifest: generated-ontology ## Validate generated ontology manifest coverage
@bash scripts/ci/generated_ontology_manifest_gate.sh
test-generated-ontology-fresh: ## Regenerate ontology artifacts and fail if generated outputs drift
@bash scripts/ci/generated_ontology_gate.sh --check
test-ontology-bundle-directive: ## Expand //@ ontology-bundle directives through the C importer and test witnesses
@bash scripts/ci/ontology_bundle_directive_gate.sh
test-ontology-bundle-directive-native-scan: ## Run compiler-side //@ ontology-bundle directive scanner gate
@bash scripts/ci/ontology_bundle_directive_native_scan_gate.sh
test-ontology-cache-frontend-composition: ## Run focused .ontocache + Knowledge<T> frontend composition gate
@bash scripts/ci/ontology_cache_frontend_composition_gate.sh
test-unit-types: ## Run focused unit/dimensional analysis Phase 1 gate
@bash scripts/ci/unit_types_phase1_gate.sh
test-unit-types-derived: ## Run derived/current-source unit dimensional analysis gate
@bash scripts/ci/unit_types_derived_gate.sh
test-unit-types-clinical-current-source: ## Run current-source internal label dimensional analysis gate
@bash scripts/ci/unit_types_clinical_current_source_gate.sh
test-ontology-unit-metadata: ## Validate ontology-linked internal dimension-label metadata
@bash scripts/ci/ontology_unit_metadata_gate.sh
test-knowledge-context-phase2: ## Run static ontology Knowledge<T> proof-context gate
@bash scripts/ci/knowledge_context_phase2_ontology_gate.sh
test-knowledge-unit-constraints: ## Run static Knowledge<T> unit proof-context gate
@bash scripts/ci/knowledge_context_unit_gate.sh
test-knowledge-numeric-constraints: ## Run static Knowledge<T> numeric proof-context gate
@bash scripts/ci/knowledge_context_numeric_gate.sh
test-knowledge-composite: ## Run static composite ontology+unit+numeric Knowledge<T> gate
@bash scripts/ci/knowledge_context_composite_gate.sh
test-knowledge-static-values: ## Run static Knowledge<T> value-initializer gate
@bash scripts/ci/knowledge_context_static_value_gate.sh
test-knowledge-runtime-obligations: ## Run dynamic Knowledge<T> runtime obligation gate
@bash scripts/ci/knowledge_context_runtime_obligation_gate.sh
test-knowledge-runtime-guards: ## Run pre-native dynamic Knowledge<T> runtime guard expansion and directive scanner gates
@bash scripts/ci/knowledge_runtime_guard_expansion_gate.sh
@bash scripts/ci/knowledge_runtime_guard_directive_native_scan_gate.sh
@bash scripts/ci/knowledge_runtime_guard_lowering_plan_gate.sh
test-knowledge-runtime-guard-directive: ## Run compiler-side //@ knowledge-runtime-guards scanner gate
@bash scripts/ci/knowledge_runtime_guard_directive_native_scan_gate.sh
test-knowledge-runtime-guard-lowering-plan: ## Run compiler-side Knowledge<T> runtime guard lowering-plan gate
@bash scripts/ci/knowledge_runtime_guard_lowering_plan_gate.sh
test-knowledge-runtime-guard-native-lowering: ## Run Sounio-native expander → compile → run gate (14 cases, replaces bash expander)
@bash scripts/ci/knowledge_runtime_guard_native_lowering_gate.sh
test-knowledge-context-static: ## Run static Knowledge<T> umbrella gate
@bash scripts/ci/knowledge_context_static_gate.sh
test-semantic-knowledge-spine: ## Run the focused ontology -> units -> Knowledge<T> umbrella gate
@bash scripts/ci/semantic_knowledge_spine_gate.sh
website-verified-snapshot: ## Run stdlib reliability gate + refresh website verified-snapshot.json (needs SOUC_BIN)
@echo "→ SOUC_BIN must point to a working souc (e.g. export SOUC_BIN=/tmp/souc.elf)"
@bash scripts/dev/stdlib_reliability_gate.sh
@npm run gen:verified-snapshot --prefix website
@echo "✓ Updated website/src/data/verified-snapshot.json (review and git add)"
lint-docs: ## Extract and check code snippets from docs/**/*.md
@bash scripts/ci/check_doc_snippets.sh
install: ## Install souc compiler to ~/.local/bin/souc
mkdir -p ~/.local/bin
install -m755 bin/souc ~/.local/bin/souc
@echo "✓ Installed souc to ~/.local/bin/souc"