mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-31 03:05:21 +00:00
61 lines
2.9 KiB
Text
61 lines
2.9 KiB
Text
import Semantics.ExtremeParameterTest
|
||
|
||
def main : IO Unit := do
|
||
IO.println "[*] Running extreme parameter tests:"
|
||
let _receipt1 := Semantics.testExtremeInformationalBind
|
||
let _receipt2 := Semantics.testExtremeGeometricBind
|
||
let _receipt3 := Semantics.testExtremeThermodynamicBind
|
||
let _receipt4 := Semantics.testExtremePhysicalBind
|
||
let _receipt5 := Semantics.testExtremeControlBind
|
||
let maxVal := Semantics.testMaxQ16_16Boundary
|
||
let minVal := Semantics.testMinQ16_16Boundary
|
||
IO.println s!"[*] Extreme parameter test complete. Q16_16 range: {repr minVal} to {repr maxVal}"
|
||
|
||
IO.println ""
|
||
IO.println "[*] Running Sigma Protocol Quiz Bank:"
|
||
let results := Semantics.quizBank.map Semantics.runQuiz
|
||
let passedCount := results.filter (fun (r : Semantics.QuizResult) => r.passed) |>.length
|
||
let totalCount := results.length
|
||
let allPassed := passedCount == totalCount
|
||
|
||
if allPassed then
|
||
IO.println s!"[*] Quiz bank passed: {passedCount}/{totalCount} questions"
|
||
else
|
||
IO.println s!"[!] Quiz bank FAILED: {passedCount}/{totalCount} questions passed"
|
||
|
||
for result in results do
|
||
let status := if result.passed then "[PASS]" else "[FAIL]"
|
||
let receipt := result.receipt
|
||
let observedSigma := receipt.sigma.observedSigma
|
||
let dagNodeCount := receipt.mathDAG.steps.length
|
||
let metacodeSummary := receipt.sigma.metacode.constraint
|
||
let receiptHash := s!"{receipt.routeId}:{repr receipt.decision}:{receipt.inputHash}"
|
||
IO.println ""
|
||
IO.println s!" {status} {repr result.question.caseType}:"
|
||
IO.println s!" Expected: {repr result.expectedDecision}"
|
||
IO.println s!" Actual: {repr result.actualDecision}"
|
||
IO.println s!" Sigma target: {repr result.question.sigmaTarget}"
|
||
IO.println s!" Observed sigma: {repr observedSigma}"
|
||
IO.println s!" DAG nodes: {dagNodeCount}"
|
||
IO.println s!" Metacode: {metacodeSummary}"
|
||
IO.println s!" Receipt hash: {receiptHash}"
|
||
IO.println s!" Reason: {result.question.reason}"
|
||
|
||
IO.println ""
|
||
IO.println "[*] Tiered sigma confidence system for statistical deltas:"
|
||
IO.println " - 3σ = interesting (hypothesis only)"
|
||
IO.println " - 4σ = internally credible (internal review)"
|
||
IO.println " - 5σ = public statistical benchmark-delta claim"
|
||
IO.println " - 6σ = live-voltage / safety-critical gate"
|
||
IO.println ""
|
||
IO.println "[*] Sigma-based routing rules:"
|
||
IO.println " - 5σ can support a statistical claim"
|
||
IO.println " - 6σ can support a statistical safety gate"
|
||
IO.println " - No sigma can replace ethics"
|
||
IO.println " - If unsure about claim truth: HOLD_REVIEW"
|
||
IO.println " - If unsure about route safety: REFUSE_OR_CONTAIN"
|
||
IO.println ""
|
||
IO.println "[*] Keeper Law:"
|
||
IO.println " - The model is real only when it can fail the route correctly"
|
||
IO.println " - Receipt hash provides auditable trail"
|
||
IO.println " - Reproducible executable ensures formal verification"
|