← Back to Science
Methods before claimsAn atomic, verifiable statement linked to evidence, a coverage envelope and separate human assessment dimensions. · candidate
Benchmarks
Synthetic control sets test the reference implementation only.
Current verification run
passed
- Verification scope
synthetic-local-only
- Receipt hash
cf2531890e5eb4955d62cebe1081e0bc6f8b20512cc580b8e72e30310b725cf6
- Controls
- 21
Network was not used · Private data was not used
capture-policyVersion 1.0.0
No-network hostile target preflight
Measure a capture target against static safety rules before opening a network connection.
Scenarios
One public HTTPS target and eleven negative controls cover local and cloud addresses, an unsafe port, credentials and parser ambiguity.
Metrics
- exact agreement with the expected decision
- admitted and rejected control counts
- absence of network activity
Card limitations
- Static preflight does not prove a later DNS resolution or redirect chain.
- Synthetic targets are not a complete production egress test.
- Controls
- 12 · 11 negative language controls
- License
NOASSERTION
- Current verification run
pass
Commandpython scripts/verify_benchmarks.py --benchmark capture-policy
local-searchVersion 1.0.0
Case-scoped trilingual search
Measure deterministic Russian, Kazakh and English query results in a temporary synthetic case.
Scenarios
Two positive and one negative query per language are executed and exact result record identifiers are compared with the expected set.
Metrics
- exact record-set match rate
- positive-query pass rate
- negative-query pass rate
- zero-result rate
Card limitations
- Nine synthetic queries do not represent the distribution of real user queries.
- The check does not measure morphology, transliterationA rule for rendering a name in another script; it aids discovery but does not prove identity. or semantic relevance.
- Controls
- 9 · 3 negative language controls
- License
NOASSERTION
- Current verification run
pass
Commandpython scripts/verify_benchmarks.py --benchmark local-search
Science route tree
Method pages have separate states and never present draft as publication.
Method cardsShow a method's purpose, inputs, procedure, limitations, version and known errors.candidate
BenchmarksSynthetic control sets test the reference implementation only.candidate
Dataset cardsShow corpus provenance, licence, time window, fields, freshness and limits.candidate
ReproducibilityHelps repeat a safe scenario with a fixture, digest, tool version and receipt.candidate
Negative resultsRecords a failed hypothesis, the reason for abstention and the next verification step.candidate
Science governanceShows the owner, review and release gate for methods and data.candidate
Science changelogKeeps evidenced semantic changes to methods, data and control-set versions.candidate