Lint up to 128 declared gates on eight qubits for arity, target, angle and post-measurement errors. Returns scheduling depth; no simulation or equivalence proof.
Invert a supplied single-qubit readout calibration and report sensitivity and nonphysic…
Readout-calibration analysisInvert a supplied single-qubit readout calibration and report sensitivity and nonphysical corrected fractions without clipping. Calibration uncertainty not estimated.
Compare circuit durations with supplied T1/T2 values using an explicit relaxation/depha…
Coherence-budget calculatorCompare circuit durations with supplied T1/T2 values using an explicit relaxation/dephasing model. For scenario planning; not a measured device-fidelity guarantee.
Calculate squared Uhlmann fidelity and purity for two supplied single-qubit density mat…
State fidelity and purityCalculate squared Uhlmann fidelity and purity for two supplied single-qubit density matrices. Explicit conventions; no experimental certification.
Calculate X, Y and Z Pauli expectations for a supplied valid single-qubit density matrix
Observable expectation valuesCalculate X, Y and Z Pauli expectations for a supplied valid single-qubit density matrix. Returns basis conventions; not a hardware measurement.
Check a supplied single-qubit complex density matrix for unit trace, Hermiticity and po…
Quantum-state validityCheck a supplied single-qubit complex density matrix for unit trace, Hermiticity and positive semidefiniteness with explicit tolerance; no hardware validation.
Exact minimum-cost set cover over at most 12 stations and 16 declared requirements
Inspection station selectionExact minimum-cost set cover over at most 12 stations and 16 declared requirements. Enumerates at most 4,095 nonempty subsets; breaks equal costs by station count then s…
Compute earliest/latest starts and finishes and slack on a declared DAG of at most 48 t…
Assembly critical pathCompute earliest/latest starts and finishes and slack on a declared DAG of at most 48 tasks. Rejects cycles and unknown dependencies. Reports peak overlap of declared un…
Build a stable hashed manifest of bounded public/synthetic artifact contents, declared…
Reproducibility manifest builderBuild a stable hashed manifest of bounded public/synthetic artifact contents, declared dependencies, algorithm version, seed, and parameters. Verify declared content has…
Compare strict rank-prefix packing with rank-order greedy-fit and score-density greedy-…
Packing displacement analysisCompare strict rank-prefix packing with rank-order greedy-fit and score-density greedy-fit for up to 64 passages under a 1–2048 token budget. Report evidence displacemen…
Compare up to 128 expected passage bindings with up to 128 retained descriptors by pass…
Context Passage Manifest CheckCompare up to 128 expected passage bindings with up to 128 retained descriptors by passage ID, parent document, version hash and chunk hash. Flags omissions, substitutio…
Check selected versions of up to 40 declared documents against up to 100 effective-date…
Evidence Version Selection CheckCheck selected versions of up to 40 declared documents against up to 100 effective-date records at one assessment time. Flags inactive, unknown and missing selections; o…
Compare up to 12 caller-supplied public committee-level totals and filing references at…
Committee Finance Snapshot CheckCompare up to 12 caller-supplied public committee-level totals and filing references at a declared assessment time. Preserves unknown totals, flags stale or amended snap…
Reconcile up to 80 committee-aggregate or non-personal organizational public/synthetic…
Campaign Record ReconciliationReconcile up to 80 committee-aggregate or non-personal organizational public/synthetic campaign ledger entries against declared opening and closing balances. Flags dupli…
Review up to 80 public or synthetic spending records for duplicate IDs, inconsistent bu…
Public Spending Anomaly ReviewReview up to 80 public or synthetic spending records for duplicate IDs, inconsistent budgets, budget overruns and declared payee concentration. Duplicate-ID rows are exc…
Simulate up to 10 sequential assembly scenarios of 100 identical units using one shared…
Assembly Schedule ComparisonSimulate up to 10 sequential assembly scenarios of 100 identical units using one shared crane and declared crews. Factory releases, lift and connection durations are exp…
Compare up to 16 declared observation stations against 64 targets and 16 rectangular ob…
Simulated Inspection CoverageCompare up to 16 declared observation stations against 64 targets and 16 rectangular obstacles in a bounded 2D scene. Returns visible targets and uncovered IDs. No camer…
Build a Vimshottari timing display with birth balance, nine mahadashas and nine antarda…
Maha Celestial CalculationsBuild a Vimshottari timing display with birth balance, nine mahadashas and nine antardashas of the active mahadasha at a reference instant. Uses actual nakshatra stay ti…
Build a reproducible chart view: Tropical and Lahiri Sidereal positions, Sidereal whole…
Maha Celestial CalculationsBuild a reproducible chart view: Tropical and Lahiri Sidereal positions, Sidereal whole-sign houses, mean nodes, geometric aspects and panchanga for one UTC chart. Inclu…
Resolve an exact supported Tamil divine-name spelling to source-scoped records in a pin…
Tamil Divine-Name DisambiguationResolve an exact supported Tamil divine-name spelling to source-scoped records in a pinned registry. Keeps ambiguity and name coincidence explicit. No fuzzy universal sy…
Prepare an audit-event export for deterministic comparison
Audit Export NormalizerPrepare an audit-event export for deterministic comparison. Normalize up to 100 metadata events and reject duplicate IDs, malformed times or digests. Does not prove even…
Review permission changes before an agent release
Tool Permission Change AnalysisReview permission changes before an agent release. Compare two explicit allow-only sets by tool, action and exact resource; report additions, removals and wildcard addit…
Check declared publication views before release
Publication Bundle ConsistencyCheck declared publication views before release. Compare 2-8 article, registry and API views against canonical URL, content, release and source-set digests; flag stale,…
Locate a printed pasuram reference in the pinned Project Madurai/Hart atlas
Edition-Specific Verse ReferenceLocate a printed pasuram reference in the pinned Project Madurai/Hart atlas. Resolves one supported number to its complete unit and exact edition-specific locator. No cr…