@unrulysystems/native-motion-conformance 0.1.0-alpha.0

package/src/oracle/index.ts

@@ -0,0 +1,133 @@
+// Oracle M1 trajectory exporter surface (REQ-ORACLE-004). Minimal exports for phases 2–4 + tests.
+
+export type {
+  OracleEngine,
+  OracleRealTrace,
+  OracleTrace,
+  SubjectiveSliceId,
+  TraceEvent,
+  TraceEventKind,
+  TraceRow,
+  VelocityProvenance,
+} from './types'
+export {
+  SUBJECTIVE_SLICE_IDS,
+  ORACLE_ENGINES,
+  ORACLE_FRAME_MS,
+  gridTime,
+  isOracleEngine,
+  isSubjectiveSliceId,
+} from './types'
+
+export { OracleTraceError } from './errors'
+export { serializeTrace } from './serialize'
+export { exportTrace, exportTraceRun } from './exportTrace'
+export type { OracleTraceRun } from './exportTrace'
+export {
+  assertAttestedRealTrace,
+  createOracleTraceAttestationRegistry,
+  oracleContentHash,
+} from './attestation'
+export type { OracleTraceAttestationRegistry } from './attestation'
+export { deriveVelocitySeries, finiteDiffVelocity } from './velocity'
+export type {
+  BlindedOracleTrace,
+  OracleControlKind,
+  OracleControlMetadata,
+  OracleControlTrace,
+} from './controls'
+export {
+  eligibleOracleControlKinds,
+  injectDiscontinuityControl,
+  injectLinearControl,
+  isOracleControlKind,
+  ORACLE_CONTROL_KINDS,
+} from './controls'
+export type {
+  OracleJudgeBundle,
+  OraclePresentation,
+  OracleUnblindingEntry,
+  OracleUnblindingRecord,
+  OracleUnblindingSource,
+} from './presenter'
+export {
+  assertPresenterBuiltPresentation,
+  createJudgeBundle,
+  M1_TRAJECTORY_JUDGE_PROMPT_TEMPLATE,
+  OraclePresenterError,
+  serializeJudgeBundle,
+} from './presenter'
+export {
+  assertOracleScenarioTableText,
+  deriveOracleTraceSpan,
+  ORACLE_NON_SETTLE_CLAIM_WORDS,
+  ORACLE_SCENARIOS,
+  ORACLE_TRACE_SPANS,
+  scenarioForSlice,
+} from './scenarios'
+export type { OracleScenarioConstant, OracleTraceSpan } from './scenarios'
+export {
+  ORACLE_CONTROL_DISC_SETTLE_FRACTION,
+  ORACLE_CONTROL_DISCONTINUITY_PX,
+  ORACLE_CONTROL_LINEAR_RAMP_POLICY,
+  ORACLE_CONTROL_MILLISECONDS_PER_SECOND,
+  ORACLE_CONTROL_POSITION_EPSILON_PX,
+  ORACLE_CONTROL_VELOCITY_RESET,
+} from './constants'
+export type {
+  JudgeDispatchOutcome,
+  JudgeVerdictOutcome,
+  JudgeProvider,
+  JudgeProviderConfig,
+  OracleAdvisoryOrdering,
+  OracleGuardInput,
+  OracleGuardOutcome,
+  OracleJudgeCleanupError,
+  OracleJudgeDimension,
+  OracleJudgeDimensionVerdict,
+  OracleJudgeIssue,
+  OracleBlindnessAudit,
+  OracleJudgeProviderResult,
+  OracleJudgeValue,
+  OracleJudgeVerdict,
+  OracleUnclassifiedFinding,
+} from './judge'
+export {
+  assertJudgeCwdOutsideRepository,
+  assertJudgeVerdictOutcome,
+  createCliJudgeProvider,
+  createIsolatedJudgeSpawnOptions,
+  DEFAULT_JUDGE_PROVIDER_CONFIG,
+  decideOracleGuard,
+  dispatchJudge,
+  judgeBundle,
+  OracleJudgeError,
+  ORACLE_JUDGE_DIMENSIONS,
+  ORACLE_JUDGE_VALUES,
+  parseJudgeEventStream,
+  parseJudgeVerdict,
+  resolveJudgeBinary,
+  resolveJudgeRepositoryBoundary,
+  SYSTEM_JUDGE_PATH,
+  verdictSchemaFor,
+  withJudgeCleanupEvidence,
+} from './judge'
+export type {
+  JudgeBinaryResolvers,
+  JudgeExecutionProvenance,
+  JudgeExecutionSeam,
+  JudgeSpawn,
+} from './judge'
+export type {
+  OracleRunBundleInput,
+  OracleRunBundleRecord,
+  OracleRunInputs,
+  OracleRunRecord,
+  OracleRunRecordFile,
+} from './runRecord'
+export {
+  ORACLE_RUNS_DIRECTORY,
+  OracleRunRecordError,
+  buildOracleRunRecord,
+  serializeOracleRunRecord,
+} from './runRecord'