-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
v0.2: minimal formal alignment for replay boundary
formal-methodsFormal models, proof kernels, and specification alignmentFormal models, proof kernels, and specification alignmentreproducibilityDeterministic evidence, replay, and auditabilityDeterministic evidence, replay, and auditabilitysolver-boundaryExternal solver trust-boundary workExternal solver trust-boundary workStatus: Open.v0.2: release evidence schema for solver-boundary artifacts
documentationImprovements or additions to documentationImprovements or additions to documentationreproducibilityDeterministic evidence, replay, and auditabilityDeterministic evidence, replay, and auditabilitysolver-boundaryExternal solver trust-boundary workExternal solver trust-boundary workStatus: Open.v0.2: external solver candidate replay certificate
enhancementNew feature or requestNew feature or requestreproducibilityDeterministic evidence, replay, and auditabilityDeterministic evidence, replay, and auditabilitysolver-boundaryExternal solver trust-boundary workExternal solver trust-boundary workStatus: Open.v0.2: Qiskit local oracle export semantics
enhancementNew feature or requestNew feature or requestquantum-integrationOptional quantum or annealing ecosystem integrationOptional quantum or annealing ecosystem integrationreproducibilityDeterministic evidence, replay, and auditabilityDeterministic evidence, replay, and auditabilityStatus: Open.v0.2: Ocean local BQM integration example and tests
enhancementNew feature or requestNew feature or requestquantum-integrationOptional quantum or annealing ecosystem integrationOptional quantum or annealing ecosystem integrationsolver-boundaryExternal solver trust-boundary workExternal solver trust-boundary workStatus: Open.v0.2: canonical QUBO exchange parity harness
enhancementNew feature or requestNew feature or requestreproducibilityDeterministic evidence, replay, and auditabilityDeterministic evidence, replay, and auditabilitysolver-boundaryExternal solver trust-boundary workExternal solver trust-boundary workStatus: Open.