Skip to content

Add simple check command#42

Merged
AzurLiu merged 1 commit into
mainfrom
chore/simple-check-command
Jun 1, 2026
Merged

Add simple check command#42
AzurLiu merged 1 commit into
mainfrom
chore/simple-check-command

Conversation

@AzurLiu
Copy link
Copy Markdown
Owner

@AzurLiu AzurLiu commented Jun 1, 2026

Summary

  • add a minimal falsiflow check --config --evidence entry point that prints claim_ready or claim_blocked with reasons
  • add a tiny numeric-claim example covering placeholder, weak-lift, and ready evidence
  • update README first-run docs, CLI reference, release gates, and regression coverage

Verification

  • python3 -m py_compile falsiflow/cli.py falsiflow/release.py scripts/falsiflow_tests/regress_falsiflow_core.py
  • python3 scripts/falsiflow_tests/regress_falsiflow_core.py
  • make test
  • python3 scripts/falsiflow.py release-check --out-dir /tmp/falsiflow_release_check_simple --force --json

@AzurLiu AzurLiu merged commit 154c1b7 into main Jun 1, 2026
5 checks passed
@AzurLiu AzurLiu deleted the chore/simple-check-command branch June 1, 2026 06:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant