Source documents

1217 items · page 2 of 28

• 00K — Executable Six-Principle Ablation Harnesses

  1 cards from this document.

• 00K — Independent Cross-Scenario Kernel Reimplementation

  1 cards from this document.

• 00K — Six-Principle Requirements Mapping & Ablation Test — v0.1 Draft

  1 cards from this document.

• 00K — Six-Principle Sufficiency & Adversarial Ablation Test — v0.1 Draft

  1 cards from this document.

• 00K-A02 — Requirements Coverage Matrix Addendum — v0.1

  1 cards from this document.

• 00K-A03 — P4 / 00H Adversarial Ablation — Deterministic Paper Execution — v0.1

  1 cards from this document.

• 00K-A04 — Six-Principle Symbolic Execution Campaign Summary — v0.1

  1 cards from this document.

• 00K-A04 — Six-Principle Symbolic Execution Summary — v0.1

  1 cards from this document.

• 00K-A05 — Bounded-Grid Hardening & P5 Repair Audit — v0.1

  1 cards from this document.

• 00K-A06 — P6 Confound Falsifier & Isolation Note — v0.1

  1 cards from this document.

• 00K-A07 — P1 Confound Falsifier & Matched-Semantic Isolation — v0.1

  1 cards from this document.

• 00K-A08 — P2 Strongest-Repair & Prefix-Indistinguishability Audit — v0.1

  1 cards from this document.

• 00K-A09 — P3 Confound Falsifier & Matched-Conflict Isolation — v0.1

  1 cards from this document.

• 00K-A1 / P1–00J execution record

  1 cards from this document.

• 00K-A1 — P1 / 00J deterministic symbolic ablation

  1 cards from this document.

• 00K-A10 — P4 Minimal Authority Basis & Lineage Refinement — v0.1

  1 cards from this document.

• 00K-A11 — P5 Exhaustive Material-Basis Ablation — v0.1

  1 cards from this document.

• 00K-A12 — P6 Transitive-Dependency & Strongest-Repair Audit — v0.1

  1 cards from this document.

• 00K-A13 — Six-Principle Serious Ablation Completion Review — v0.1

  1 cards from this document.

• 00K-A14 — GitHub Actions Reproduction Record — 379/379 — v0.1

  1 cards from this document.

• 00K-A15 — Complete Six-Principle Ablation Testbook — v0.1

  1 cards from this document.

• 00K-A16 — Formal Relative Independence Proof of P1–P6 — v0.1

  1 cards from this document.

• 00K-A17 — Documentation, Reproducibility & Proof Map — v0.1

  1 cards from this document.

• 00K-A18 — Pure Mathematical Independence of P1–P6 — v0.1

  1 cards from this document.

• 00K-A19 — Principle–Requirement Traceability & Semantic Conservation Proof — v0.1

  1 cards from this document.

• 00K-A2 / P2–00E execution record

  1 cards from this document.

• 00K-A2 — P2 / 00E deterministic symbolic ablation

  1 cards from this document.

• 00K-A20 — Shared-Substrate Mathematical Independence of P1–P6 — v0.1

  1 cards from this document.

• 00K-A21 — Requirement Basis Closure & Relative Completeness Proof — v0.1

  1 cards from this document.

• 00K-A22 — Full-Cube Realizability & Boolean Diagnostic Minimality — v0.1

  1 cards from this document.

• 00K-A23 — Canonical Requirement-Conformance Sufficiency for P1–P6 — v0.1

  1 cards from this document.

• 00K-A24 — Principle ↔ Requirement Refinement, Information Gain & Non-Equivalence Annex — v0.1

  1 cards from this document.

• 00K-A25 — Failure Case-Study Extensibility & Requirements-Conformance Transfer — v0.1

  1 cards from this document.

• 00K-A26 — Failure → Success Model Case Conversion & Three-Axis Extensibility — v0.1

  1 cards from this document.

• 00K-A3 / P3–00F execution record

  1 cards from this document.

• 00K-A3 — P3 / 00F deterministic symbolic ablation

  1 cards from this document.

• 00K-A4 / P4–00H executable harness — corpus integration and execution record

  1 cards from this document.

• 00K-A4 / P4–00H reviewed v0.2 package

  1 cards from this document.

• 00K-A5 / P5–00I execution record

  1 cards from this document.

• 00K-A5 — P5 / 00I deterministic symbolic ablation

  1 cards from this document.

• 00K-A6 / P6–00G execution record

  1 cards from this document.

• 00K-A6 — P6 / 00G deterministic symbolic ablation

  1 cards from this document.

• 00K-A6a — P6 / 00G falsification-first symbolic execution

  1 cards from this document.

• 00K-A6b — P6 isolated on 00F shared-resource composition

  1 cards from this document.

• 00K-CLOSURE — canonical syntactic closure integrity package

  1 cards from this document.