05 — SNO-8 Object Model

05 — SNO-8 Object Model

SNO-8 schema

SNO-8 is the primary data structure.

{
  "sno_id": "sno_...",
  "version": "8.0",
  "hypothesis": {
    "text": "...",
    "embedding_ref": "emb_...",
    "stance": "claim|counterclaim|synthesis|orthesis_candidate"
  },
  "claims": [],
  "relations": [],
  "evidence": [],
  "record_access": [],
  "proof_traces": [],
  "residuals": [],
  "latent_predicates": [],
  "world_support": [],
  "metrics": {},
  "lineage": {}
}

Claims

A claim is not promoted unless it has evidence status and proof status.

Fields:

• claim_id
• text
• scope
• modality
• time_context
• source_context
• evidence_refs
• proof_refs
• status: strict, likely, hypothesis, unresolved, rejected
• confidence
• calibration_bin

Relations

Relations are typed edges:

• supports
• refutes
• implies
• conditions
• narrows
• explains
• reframes
• in_tension_with
• equivalent_under_context
• latent_context_for

Evidence

Evidence is atomized into stable spans:

• evidence_id
• document_id
• span
• source_quality
• access_state
• timestamp
• modality
• hash

Record access states

Access states distinguish absence of evidence from absence of access.

Recommended states:

• available
• retrieved
• withheld
• sealed
• destroyed
• never_generated
• not_collected
• unknown
• contradictory_record
• secondary_report_only

Proof traces

A proof trace records:

• root evidence atoms;
• rule IDs;
• temperature status;
• intermediate atoms;
• critic gates passed;
• checksums of derived tensors;
• final promoted claim.

Residuals

Residual entries record unresolved contradiction mass:

• subject
• predicate
• object
• context
• support_mass
• refute_mass
• unresolved_mass
• candidate_latent_predicates

Latent predicates

Latent predicates must remain hypotheses until grounded.

Example:

{
  "predicate_id": "latent_subgroup_02",
  "label": "applies_to_high_dose_subgroup",
  "source": "residual_tensor_factorization",
  "grounding_status": "candidate",
  "evidence_refs": [],
  "piu": 0.37
}

SNO lineage

Synthesis lineage records:

• input SNO IDs;
• pair-selection score;
• Antagonist findings;
• proof-closure version;
• predicate invention run;
• Synthesizer version;
• orthesis loop iterations;
• human review status.

SNO statuses

• candidate: output from Proposer.
• critic_flagged: failed or partial critic pass.
• synthesis_input: selected for synthesis.
• synthesized: generated by Synthesizer.
• orthesis_candidate: passed orthesis criteria.
• published: reviewed and externally reportable.
• rejected: failed grounding or proof constraints.