Area · 20 components
Import & drift control
The boundary that brings material into the public tree and flags drift.
Components
Each card below is one component. It states what the component does, the evidence behind that claim, and its scope limit: the line where the claim stops and nothing further is proven.
Source Projection Import ProtocolGates private-to-public imports, accepting only files with matching fingerprints and sources.5/5
Job Gates private-to-public imports, accepting only files with matching fingerprints and sources.
Scope limit It authorizes only verified source body import with provenance and content-digest checks; it does not grant source authority, whole-system equivalence, launch, hosted deployment, public sharing, recipient work, provider or Lean/Lake execution, secret or private-source-body export, or any whole-system correctness claim.
Projection-Drift Contract ValidatorPinpoints where a projected world-model copy drifted from its real source, with repair routes.5/5
Job Pinpoints where a projected world-model copy drifted from its real source, with repair routes.
Scope limit It only validates the declared public, metadata-only drift-result record contract. It supports inspection of recorded drift rows and source-linked refs; live repair, source control, doctrine changes, model-output export, public sharing, and launch are outside the fixture. It does not claim complete drift coverage or live repair control.
Unsurfaced Source Primitives BundleExposes eleven real but under-surfaced parts and rejects non-public-state and overclaim cases.5/5
Job Exposes eleven real but under-surfaced parts and rejects non-public-state and overclaim cases.
Scope limit It validates only a public source-open bundle and bounded public exercises; it is not raw operator memory, not prompt-shelf capture authority, not live market data, not provider/browser state, not media launch, and not public sharing or launch-scope decision.
Authority Systems Source BundleReplays eight authority and systems checks, rejecting provider, proof, and launch overclaims.5/5
Job Replays eight authority and systems checks, rejecting provider, proof, and launch overclaims.
Scope limit It validates only copied Set 5 authority-system source bodies and bounded deterministic exercises; it does not dispatch providers, prove Lean success, send live process signals, mutate generated state, change source files, authorize public sharing, include launch operations, or claim whole-system equivalence.
Trace, Code-Map & Scheduling Engines BundleRuns fifteen trace, code-map, and scheduling engines on test data, blocking truth overclaims.5/5
Job Runs fifteen trace, code-map, and scheduling engines on test data, blocking truth overclaims.
Scope limit It validates only a public source-open bundle and bounded exercises; it is not live source authority, whole-system equivalence, semantic truth, investment-related actions, complete sandbox proof, selected-test sufficiency proof, public sharing, or launch-scope decision.
Oracle Sibling Source BundleReplays subject-index and truth-diff logic on copied code, rejecting reasoning overclaims.5/5
Job Replays subject-index and truth-diff logic on copied code, rejecting reasoning overclaims.
Scope limit It validates only Oracle sibling copied source bodies and bounded deterministic exercises; it does not run Oracle reasoning, dispatch providers or bridges, invoke private orchestration engine, change source files, prove semantic truth, prove all Oracle paths are covered, authorize public sharing, or include launch operations.
Demo Take Console Source BundleReplays the recording console's Swift logic without launching the app or capturing audio.5/5
Job Replays the recording console's Swift logic without launching the app or capturing audio.
Scope limit It validates only Demo Take Console copied Swift source bodies and bounded deterministic exercises; it does not launch the app, authorize screen or microphone capture, export recording sessions, execute FFmpeg, dispatch WhisperKit or other models, change source files, prove complete UI coverage, authorize public sharing, or include launch operations.
Tools-Tail Primitives BundleExercises four copied helper tools over fixed inputs without touching live systems or data.5/5
Job Exercises four copied helper tools over fixed inputs without touching live systems or data.
Scope limit It validates only the imported source body. It does not claim source authority, whole-system equivalence, launch, or public sharing.
Policy Engines BundleMaps three policy engines over test data without model calls or live campaign execution.5/5
Job Maps three policy engines over test data without model calls or live campaign execution.
Scope limit It validates only the imported source body. It does not claim source authority, whole-system equivalence, launch, or public sharing.
Audio Level RMS PortComputes the audio loudness math on test arrays without opening a microphone or capturing input.3/5
Job Computes the audio loudness math on test arrays without opening a microphone or capturing input.
Scope limit projection mechanics only, not domain-level conclusions
Structural Theses Finance BundleRuns a copied finance-thesis model through dated test cases with no live market data or advice.5/5
Job Runs a copied finance-thesis model through dated test cases with no live market data or advice.
Scope limit It validates only the imported source body over synthetic thesis rows. It does not claim source authority, whole-system equivalence, financial or investment-related actions, live market data, portfolio action, external model access, launch, public sharing, launch, or public sharing.
Engine Room DemoRuns proof, runtime, security, and routing demos through bounded public examples with stated limits.5/5
Job Runs proof, runtime, security, and routing demos through bounded public examples with stated limits.
Scope limit It validates only the public Engine Room composition contract; it is not deployment posture, whole-system equivalence, frontier theorem proving, complete security proof, public sharing, or launch-scope decision.
Backend & Governance Engines BundleExercises thirteen copied backend and governance engines over fixed public test cases.5/5
Job Exercises thirteen copied backend and governance engines over fixed public test cases.
Scope limit It validates only a public source-open bundle and bounded synthetic exercises; it is not live lineage truth, human approval authority, market/news truth, host-state truth, work log truth, external model access, source-file changes, public sharing, launch-scope decision, or whole-system equivalence.
Governance & Compiler Mechanisms BundleChecks thirteen copied governance and compiler routines against the code they were copied from.5/5
Job Checks thirteen copied governance and compiler routines against the code they were copied from.
Scope limit It validates only the imported source body. It does not claim source authority, whole-system equivalence, launch, public sharing, live ledger control, or source-file changes.
Saturation Engines BundleVerifies twelve copied engine routines and computes each failure probe from inputs, not echoes.5/5
Tool Server Pressure InventoryFlags detached helper processes and launch pressure from synthetic rows, not live hosts.5/5
Job Flags detached helper processes and launch pressure from synthetic rows, not live hosts.
Scope limit validates declared public helper-process pressure inventory contract only; no live process reads, process signalling, host mutation, launch-scope decision, external model access, non-public data equivalence, or whole-system correctness
Compliance Pipeline BundleConfirms six copied compliance source files carry their functions; runs one helper on sample text.3/5
Job Confirms six copied compliance source files carry their functions; runs one helper on sample text.
Scope limit validates declared public Set 8 compliance pipeline bundle contract only; no full compliance-ledger freshness, external model access, model dispatch, source-file changes, source note mutation, launch, public sharing, non-public data equivalence, or whole-system correctness
Live Source Drift BundleCompares four copied router and landing routines against current code to surface stale copies.5/5
Job Compares four copied router and landing routines against current code to surface stale copies.
Scope limit verified source body import only, not route authority, work log or work log mutation authority, mission-transaction execution, git staging or commit approval, source-file changes, non-public runtime export, launch, or public sharing
Release Public Wording GateFlags affirmative open-source and deployment-posture wording while allowing safe boundary notes.5/5
Job Flags affirmative open-source and deployment-posture wording while allowing safe boundary notes.
Scope limit This is lexical fixture evidence only; it is not launch-scope decision, not publishing-scope decision, not semantic NLP truth, not secret-scan coverage, and not whole-system correctness.
Generated Projection Drift RuntimeRuns each owner's own drift check on generated files and flags repairs, without changing the file.4/5Runs real tools
Job Runs each owner's own drift check on generated files and flags repairs, without changing the file.
Scope limit The bundle demonstrates owner-routed generated projection drift detection over declared artifacts, source authorities, clean-result record fingerprints, and no-write check return codes. It is not semantic drift proof, not full source registry validation, not repair authority, and not launch-scope decision.
Source refs
Built from public source refs, with each input path recorded for provenance.