fe75b6e27a
Add verification targets to Makefile: - verify-schema: Check manifest schema hasn't drifted (V.1) - test-schema-validation: Test schema validation with examples - lint-custom: Build and run fetchml-vet analyzers (V.4) - verify-audit: Run audit chain verification tests (V.7) - verify-audit-chain: CLI tool for verifying specific log files - verify-all: Run all verification checks (CI target) - verify-quick: Fast checks for development - verify-full: Comprehensive verification with unit/integration tests Add install targets for verification tools: - install-property-test-deps: gopter for property-based testing (V.2) - install-mutation-test-deps: go-mutesting for mutation testing (V.3) - install-security-scan-deps: gosec, nancy for supply chain (V.6) - install-scorecard: OpenSSF Scorecard (V.10) Add Forgejo CI workflow (.forgejo/workflows/verification.yml): - Runs on every push and PR - Schema drift detection - Custom linting - Audit chain verification - Security scanning integration Add verification documentation (docs/src/verification.md): - V.1: Schema validation details - V.4: Custom linting rules - V.7: Audit chain verification - CI integration guide |
||
|---|---|---|
| .. | ||
| benchmark-metrics.yml | ||
| build-cli.yml | ||
| checkout-test.yaml | ||
| ci.yml | ||
| contract-test.yml | ||
| docs-deploy.yml | ||
| docs.yml | ||
| label.yml | ||
| release-mirror.yml | ||
| security-scan.yml | ||
| stale.yml | ||
| verification.yml | ||