Specification library
Versioned profiles, experiments, test vectors and recorded results.
Current capabilities · Public service · Choose a protocol profile
Public service contractIngress progress contractArguments and evidenceRequirement coverageConformance vectorsModel resultConformance result
Admission policy reviewSigned claim profileSigned claim vectorsSigned claim result
Local transitionsCapacity experimentTransition vectorsTransition fixturesTransition result
Reserved capacity resultsCapacity vectorsCapacity fixturesCapacity checksResource measurements
Bounded preverificationMulti-issuer results
Bounded driver proposalSync failure evidenceSync test results
Driver simulationDriver model results
Rust driver comparisonComparison resultsShared driver traces
Controlled completionCompletion resultsCompletion traces
Loopback framingLoopback results
Serial admission integrationIntegration results
Sessions and outputSession results
Concurrent admissionConcurrent resultsTCP saturation results
Isolated writerIsolated writer results
Resource baselineMemory results
Rejection and recoveryError boundary results
Recovery model comparisonComparison resultsShared traces
Network owner checkpointsComparison resultsObserved trace
Queue pressure and reuseComparison resultsObserved trace
Network recovery serviceComparison resultsObserved trace
Private Fly admissionAudited results
HTTP research workflowCandidate conversation contractIndependent research reviewSigned artifact archive
Problem-only discoveryFive-match selectionSurviving-copy retrievalDishonest mirror refusalSigned-content instructions
Problem-only results JSONSelection results JSONSigned-content results JSONHTTP error checks JSON